Pages that link to "Item:Q1577339"
From MaRDI portal
The following pages link to Normal natural deduction proofs (in classical logic) (Q1577339):
Displaying 16 items.
- A framework for proof systems (Q707742) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- (Q4575567) (← links)
- 1999 Spring Meeting of the Association for Symbolic Logic (Q4946842) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Proofs as Objects (Q5057055) (← links)
- Shortening of Proof Length is Elusive for Theorem Provers (Q5087078) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)
