The following pages link to (Q2744125):
Displayed 50 items.
- The normalization theorem for extended natural deduction (Q4985610) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Logical Nihilism and the Logic of ‘prem’ (Q5013626) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC (Q5027673) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- A NOTE ON THE SEQUENT CALCULI (Q5078820) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- A note on decidability of variables in intuitionistic propositional logic (Q5109220) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Cut Elimination, Substitution and Normalisation (Q5213610) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- Meaning in Use (Q5213613) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Book review of: J. von Plato, Elements of logical reasoning (Q5915890) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- Provability multilattice logic (Q6040535) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)