Pages that link to "Item:Q2757973"
From MaRDI portal
The following pages link to A Brief History of Natural Deduction (Q2757973):
Displaying 23 items.
- General-elimination stability (Q526738) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Jaśkowski and Gentzen approaches to natural deduction and related systems (Q2702282) (← links)
- Presenting and explaining Mizar (Q2867936) (← links)
- A LOGIC FOR ‘BECAUSE’ (Q3096822) (← links)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- Forty years of ``unnatural'' natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi (Q3987173) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- Simulation of Natural Deduction and Gentzen Sequent Calculus (Q4683217) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Introduction (Q5919183) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)