Pages that link to "Item:Q1840142"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schliessen. I (Q1840142):
Displayed 50 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Intermediaries and intervenients in normative systems (Q931780) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Describing proofs by short tautologies (Q1023053) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Adjointness of fuzzy systems (Q1095887) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- A deficiency of natural deduction (Q1104317) (← links)
- Gentzen-type formulation of the propositional logic LQ (Q1111545) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- First degree entailments (Q1131500) (← links)
- A new formulation of discussive logic (Q1137988) (← links)
- Solvable classes of pseudoprenex formulas (Q1147118) (← links)
- Some work of Lithuanian mathematicians in the domain of mathematical logic and programming (Q1158137) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- A new reduction sequence for arithmetic (Q1167719) (← links)
- Lower bounds for increasing complexity of derivations after cut elimination (Q1167721) (← links)
- A simplified problem reduction format (Q1170894) (← links)
- Lambek calculus with restricted contraction and expansion (Q1194112) (← links)
- Bounds for cut elimination in intuitionistic propositional logic (Q1204120) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- Sur une logique intuitionniste (Q1214915) (← links)
- A formal system of partial recursive functions (Q1218847) (← links)
- On the idea of a general proof theory (Q1222646) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Sequential method in propositional dynamic logic (Q1254991) (← links)
- E theorems (Q1256459) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- Structured calculational proof (Q1267033) (← links)