Pages that link to "Item:Q3691668"

The following pages link to A natural extension of natural deduction (Q3691668):

Displaying 50 items.

• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
• A note on harmony (Q452347) (← links)
• Bilateralism in proof-theoretic semantics (Q484102) (← links)
• On harmony and permuting conversions (Q518743) (← links)
• General-elimination stability (Q526738) (← links)
• General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
• A framework for proof systems (Q707742) (← links)
• Simple consequence relations (Q809992) (← links)
• Logical connectives for constructive modal logic (Q857668) (← links)
• Do-it-yourself type theory (Q911744) (← links)
• On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
• On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
• Partial inductive definitions (Q1177153) (← links)
• Inductive families (Q1336951) (← links)
• \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
• Stabilizing quantum disjunction (Q1633237) (← links)
• Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
• The foundation of a generic theorem prover (Q1823013) (← links)
• Varieties of linear calculi (Q1868337) (← links)
• A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931) (← links)
• Classical harmony and separability (Q2055927) (← links)
• Non-reflexivity and revenge (Q2078982) (← links)
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
• Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
• Natural deduction bottom up (Q2236507) (← links)
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
• Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
• Proof, meaning and paradox: some remarks (Q2288280) (← links)
• Semantic values for natural deduction derivations (Q2500822) (← links)
• Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
• The naturality of natural deduction (Q2631649) (← links)
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
• Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
• The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
• Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
• Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
• ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
• BILATERAL RELEVANT LOGIC (Q2940874) (← links)
• Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
• HARMONISING HARMONY (Q3195584) (← links)
• Verificationism and Classical Realizability (Q3305313) (← links)
• (Q3322078) (← links)
• Full Lambek Calculus in natural deduction (Q3406453) (← links)
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS (Q3459088) (← links)
• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)