Pages that link to "Item:Q1840143"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schliessen. II (Q1840143):
Displaying 49 items.
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (Q3389498) (← links)
- Sequential method in quantum logic (Q3877681) (← links)
- A cut-free Gentzen-type system for the modal logic S5 (Q3887437) (← links)
- (Q3890137) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
- 1999–2000 Winter Meeting of the Association for Symbolic Logic (Q4508284) (← links)
- SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization (Q4532608) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- (Q4770509) (← links)
- Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532) (← links)
- The normalization theorem for extended natural deduction (Q4985610) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- (Q5094116) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)
- On Hilbert's Axiomatics of Propositional Logic (Q5169377) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Logic-Free Reasoning in Isabelle/Isar (Q5505517) (← links)
- (Q5652644) (← links)
- Deductive Completeness (Q5689262) (← links)
- Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 (Q5740401) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
