Pages that link to "Item:Q818927"
From MaRDI portal
The following pages link to A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927):
Displaying 18 items.
- Strong normalization results by translation (Q636353) (← links)
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- On strong normalization in proof-graphs for propositional logic (Q1744419) (← links)
- A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- A strong normalization result for classical logic (Q1902976) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- A semantics of realisability for the classical propositional natural deduction (Q2851691) (← links)
- On completeness of reducibility candidates as a semantics of strong normalization (Q2881069) (← links)
- Normalization theorems for full first order classical natural deduction (Q3981450) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- Some properties of the -calculus (Q4583170) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q4938597) (← links)
- Normal Gentzen deductions in the classical case (Q4952024) (← links)
- (Q4957786) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
