The following pages link to (Q5632554):
Displaying 50 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- A note on harmony (Q452347) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Why conclusions should remain single (Q543530) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Normalization and excluded middle. I (Q583185) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Simple consequence relations (Q809992) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- A connection between cut elimination and normalization (Q818516) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Normal derivations and sequent derivations (Q1029828) (← links)
- A proof description language and its reduction system (Q1055769) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Mechanizing structural induction. II: Strategies (Q1134541) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- A coherence theorem for canonical morphisms in Cartesian closed categories (Q1168319) (← links)
- Partial inductive definitions (Q1177153) (← links)
- Existential instantiation and normalization in sequent natural deduction (Q1198828) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- On the idea of a general proof theory (Q1222646) (← links)
- Prelogic of logoi (Q1233435) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- A note on the elimination rules (Q1242903) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- Implementing tactics and tacticals in a higher-order logic programming language (Q1311396) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Geometry and generality in Frege's philosophy of arithmetic. (Q1578773) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
