The following pages link to (Q2744125):
Displayed 50 items.
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Reasoning about truth in first-order logic (Q2255212) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Proof analysis of Peirce's alpha system of graphs (Q2363507) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- Forms of the Pasch axiom in ordered geometry (Q3406446) (← links)
- Introspection, Normality and Agglomeration (Q3457703) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- Tautology Elimination, Cut Elimination, and S5 (Q4565826) (← links)
- AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)