Normal derivability in classical natural deduction

DOI10.1017/S1755020311000311zbMATH Open1248.03077MaRDI QIDQ2890694FDOQ2890694

Authors: Jan von Plato, Annika Siders 

Publication date: 11 June 2012

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Recommendations

• Full classical S5 in natural deduction with weak normalization
• Normalization theorems for full first order classical natural deduction
• Normal derivability in modal logic
• A new S4 classical modal logic in natural deduction
• scientific article; zbMATH DE number 3275554

zbMATH Keywords

proof theorynatural deductionnormalization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Title not available (Why is that?)
• Proof Analysis
• Natural deduction with general elimination rules
• Normal derivability in modal logic
• A sequent calculus isomorphic to Gentzen's natural deduction
• Normalization theorems for full first order classical natural deduction
• Gentzen's proof systems: byproducts in a work of genius

Cited In (23)

• CUT FOR CLASSICAL CORE LOGIC
• Title not available (Why is that?)
• A normalization-procedure for the first order classical natural deduction with full logical symbols
• Normality, non-contamination and logical depth in classical natural deduction
• Title not available (Why is that?)
• A new normalization strategy for the implicational fragment of classical propositional logic
• Prawitz, Proofs, and Meaning
• Proof-graphs: a thorough cycle treatment, normalization and subformula property
• Title not available (Why is that?)
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Normal natural deduction proofs (in classical logic)
• Peirce's rule in natural deduction.
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
• Normal derivability in modal logic
• Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
• Classical natural deduction
• Natural deduction in normal modal logic
• Title not available (Why is that?)
• Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
• A new S4 classical modal logic in natural deduction
• Full classical S5 in natural deduction with weak normalization
• Subformula and separation properties in natural deduction via small Kripke models

Uses Software

• Pesca

This page was built for publication: Normal derivability in classical natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890694)