Pages that link to "Item:Q1904467"
From MaRDI portal
The following pages link to A normalization-procedure for the first order classical natural deduction with full logical symbols (Q1904467):
Displaying 10 items.
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- Existential Type Systems with No Types in Terms (Q3637189) (← links)
- Normalization theorems for full first order classical natural deduction (Q3981450) (← links)
- Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628) (← links)
- Some properties of the -calculus (Q4583170) (← links)
