Pages that link to "Item:Q2890694"
From MaRDI portal
The following pages link to Normal derivability in classical natural deduction (Q2890694):
Displaying 18 items.
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Normal natural deduction proofs (in classical logic) (Q1577339) (← links)
- Peirce's rule in natural deduction. (Q1607223) (← links)
- Natural deduction in normal modal logic (Q1813231) (← links)
- A normalization-procedure for the first order classical natural deduction with full logical symbols (Q1904467) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- (Q3322078) (← links)
- A new S4 classical modal logic in natural deduction (Q3410675) (← links)
- Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628) (← links)
- (Q4939407) (← links)
- Normal Gentzen deductions in the classical case (Q4952024) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- CUT FOR CLASSICAL CORE LOGIC (Q5259721) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
