The following pages link to Proof Analysis (Q3114184):
Displayed 50 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- Analytic rules for mereology (Q300557) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Kripke semantics for intuitionistic Łukasiewicz logic (Q2021569) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Logic and majority voting (Q2121481) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- Super-Strict Implications (Q4999461) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- (Q5028422) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← 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)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Meaning in Use (Q5213613) (← 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)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)