Normalization theorems for full first order classical natural deduction
From MaRDI portal
Recommendations
- A semantical proof of the strong normalization theorem for full propositional classical natural deduction
- Strong normalization of classical natural deduction with disjunctions
- Proofs of strong normalisation for second order classical natural deduction
- A normalization-procedure for the first order classical natural deduction with full logical symbols
Cites work
Cited in
(40)- Normal natural deduction proofs (in classical logic)
- Peirce's rule in natural deduction.
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Non-strictly positive fixed points for classical natural deduction
- Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion
- Church-Rosser property of a simple reduction for full first-order classical natural deduction
- A normalization-procedure for the first order classical natural deduction with full logical symbols
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Normality, non-contamination and logical depth in classical natural deduction
- Full classical S5 in natural deduction with weak normalization
- A normative model of classical reasoning in higher order languages
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
- Normal derivability in classical natural deduction
- Gentzen's proof systems: byproducts in a work of genius
- Realizability Proof for Normalization of Full Differential Linear Logic
- HARMONISING HARMONY
- scientific article; zbMATH DE number 3853043 (Why is no real title available?)
- A new S4 classical modal logic in natural deduction
- Subformula and separation properties in natural deduction via small Kripke models
- Reduction in first-order logic compared with reduction in implicational logic
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
- scientific article; zbMATH DE number 3950526 (Why is no real title available?)
- scientific article; zbMATH DE number 1189064 (Why is no real title available?)
- Proofs of strong normalisation for second order classical natural deduction
- A short proof of the strong normalization of classical natural deduction with disjunction
- A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE
- scientific article; zbMATH DE number 1406467 (Why is no real title available?)
- Normal Gentzen deductions in the classical case
- The normalization theorem for extended natural deduction
- A note on strong normalization in classical natural deduction
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
- Peirce's rule in a full natural deduction system
- A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
- Proof-theoretic semantics: an autobiographical survey
- A classical first-order normalization procedure with and based on the Milne-Kürbis approach
- Unified natural deduction for logics of strong negation
- Normalisation for negative free logics without and with definite descriptions
- Problems of a proof-theoretic characterization of paradoxes
- A semantical proof of the strong normalization theorem for full propositional classical natural deduction
This page was built for publication: Normalization theorems for full first order classical natural deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3981450)
