Matches in SemOpenAlex for { <https://semopenalex.org/work/W2771421837> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2771421837 abstract "The intuitionistic calculus mj for sequents, in which no other logical symbols than those for implication and universal quantification occur, is introduced and analysed. It allows a simple backward application, called mj-reduction here, for searching for derivation trees. Terms needed in mj-reduction can be found with the unification algorithm. mj-Reduction with unification can be seen as a natural extension of SLD-resolution. mj-Derivability of the sequents considered here coincides with derivability in Johansson's minimal intuitionistic calculus LHM in [6]. Intuitionistic derivability of formulae with negation and classical derivability of formulae with all usual logical symbols can be expressed with mj-derivability and hence be verified by mj-reduction. mj-Derivations can be easily translated into LJ-derivations withoutSchnitt, or into NJ-derivations in a slightly sharpened form of Prawitz' normal form. In the first three sections, the systematic use of mj-reduction for proving in predicate logic is emphasized. Although the fourth section, the last and largest, is exclusively devoted to the mathematical analysis of the calculus mj, the first three sections may be of interest to a wider readership, including readers looking for applications of symbolic logic. Unfortunately, the mathematical analysis of the calculus mj, as the study of Gentzen's calculi, demands a large amount of technical work that obscures the natural unfolding of the argumentation. To alleviate this, definitions and theorems are completely embedded in the text to provide a fluent and balanced mathematical discourse: new concepts are indicated with bold-face, proofs of assertions are outlined, or omitted when it is assumed that the reader can provide them." @default.
- W2771421837 created "2017-12-22" @default.
- W2771421837 creator A5024935264 @default.
- W2771421837 date "1997-01-01" @default.
- W2771421837 modified "2023-09-26" @default.
- W2771421837 title "The Reduction Oriented Calculus mj" @default.
- W2771421837 hasPublicationYear "1997" @default.
- W2771421837 type Work @default.
- W2771421837 sameAs 2771421837 @default.
- W2771421837 citedByCount "0" @default.
- W2771421837 crossrefType "journal-article" @default.
- W2771421837 hasAuthorship W2771421837A5024935264 @default.
- W2771421837 hasConcept C108710211 @default.
- W2771421837 hasConcept C111335779 @default.
- W2771421837 hasConcept C118615104 @default.
- W2771421837 hasConcept C136119220 @default.
- W2771421837 hasConcept C153269930 @default.
- W2771421837 hasConcept C199343813 @default.
- W2771421837 hasConcept C199360897 @default.
- W2771421837 hasConcept C202444582 @default.
- W2771421837 hasConcept C2524010 @default.
- W2771421837 hasConcept C2777686260 @default.
- W2771421837 hasConcept C33923547 @default.
- W2771421837 hasConcept C41008148 @default.
- W2771421837 hasConcept C62073222 @default.
- W2771421837 hasConcept C71924100 @default.
- W2771421837 hasConcept C96146094 @default.
- W2771421837 hasConceptScore W2771421837C108710211 @default.
- W2771421837 hasConceptScore W2771421837C111335779 @default.
- W2771421837 hasConceptScore W2771421837C118615104 @default.
- W2771421837 hasConceptScore W2771421837C136119220 @default.
- W2771421837 hasConceptScore W2771421837C153269930 @default.
- W2771421837 hasConceptScore W2771421837C199343813 @default.
- W2771421837 hasConceptScore W2771421837C199360897 @default.
- W2771421837 hasConceptScore W2771421837C202444582 @default.
- W2771421837 hasConceptScore W2771421837C2524010 @default.
- W2771421837 hasConceptScore W2771421837C2777686260 @default.
- W2771421837 hasConceptScore W2771421837C33923547 @default.
- W2771421837 hasConceptScore W2771421837C41008148 @default.
- W2771421837 hasConceptScore W2771421837C62073222 @default.
- W2771421837 hasConceptScore W2771421837C71924100 @default.
- W2771421837 hasConceptScore W2771421837C96146094 @default.
- W2771421837 hasLocation W27714218371 @default.
- W2771421837 hasOpenAccess W2771421837 @default.
- W2771421837 hasPrimaryLocation W27714218371 @default.
- W2771421837 hasRelatedWork W1489404987 @default.
- W2771421837 hasRelatedWork W1537613968 @default.
- W2771421837 hasRelatedWork W1573739954 @default.
- W2771421837 hasRelatedWork W1822259583 @default.
- W2771421837 hasRelatedWork W1839102226 @default.
- W2771421837 hasRelatedWork W2057240078 @default.
- W2771421837 hasRelatedWork W2075337691 @default.
- W2771421837 hasRelatedWork W2102625227 @default.
- W2771421837 hasRelatedWork W2111155907 @default.
- W2771421837 hasRelatedWork W2209277118 @default.
- W2771421837 hasRelatedWork W2421452513 @default.
- W2771421837 hasRelatedWork W2528339563 @default.
- W2771421837 hasRelatedWork W2736163332 @default.
- W2771421837 hasRelatedWork W2737810807 @default.
- W2771421837 hasRelatedWork W2902193508 @default.
- W2771421837 hasRelatedWork W2963580724 @default.
- W2771421837 hasRelatedWork W2969501000 @default.
- W2771421837 hasRelatedWork W3105033282 @default.
- W2771421837 hasRelatedWork W3146281152 @default.
- W2771421837 hasRelatedWork W2153662377 @default.
- W2771421837 isParatext "false" @default.
- W2771421837 isRetracted "false" @default.
- W2771421837 magId "2771421837" @default.
- W2771421837 workType "article" @default.