Pages that link to "Item:Q1407508"

The following pages link to Natural deduction with general elimination rules (Q1407508):

Displaying 44 items.

• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
• A note on harmony (Q452347) (← links)
• Bilateralism in proof-theoretic semantics (Q484102) (← links)
• A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
• On harmony and permuting conversions (Q518743) (← links)
• General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
• Type checking and typability in domain-free lambda calculi (Q655411) (← links)
• A framework for proof systems (Q707742) (← links)
• The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
• Normal derivations and sequent derivations (Q1029828) (← links)
• The polarized \(\lambda\)-calculus (Q1744450) (← links)
• Varieties of linear calculi (Q1868337) (← links)
• Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
• Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
• Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
• A survey of nonstandard sequent calculi (Q2259014) (← links)
• Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
• On the unity of duality (Q2482843) (← links)
• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications (Q2683029) (← links)
• NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
• Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
• ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
• BILATERAL RELEVANT LOGIC (Q2940874) (← links)
• An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
• A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
• Focusing in Linear Meta-logic (Q3541726) (← links)
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
• AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
• From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (Q4608555) (← links)
• (Q4877107) (← links)
• The normalization theorem for extended natural deduction (Q4985610) (← 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)
• Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
• ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
• A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
• Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)