Normality, non-contamination and logical depth in classical natural deduction
From MaRDI portal
Publication:2307304
DOI10.1007/s11225-019-09847-4zbMath1455.03013OpenAlexW2914349786WikidataQ128391237 ScholiaQ128391237MaRDI QIDQ2307304
Sanjay Modgil, Marcello D'Agostino, Dov M. Gabbay
Publication date: 27 March 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/normality-noncontamination-and-logical-depth-in-classical-natural-deduction(5ede6c00-4f47-4fcf-b1ae-281f136a14a8).html
Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
A modal view on resource-bounded propositional logics, The placeholder view of assumptions and the Curry-Howard correspondence, Harmony and Normalisation in Bilateral Logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of argumentation with preferences
- Semantics and proof-theory of depth bounded Boolean logics
- Logic: a history of its central concepts
- Natural deduction, hybrid systems and modal logics
- The enduring scandal of deduction. Is propositional logic really uninformative?
- An informational view of classical logic
- On the evaluation of argumentation formalisms
- Argumentation in artificial intelligence
- Perfect validity, entailment and paraconsistency
- Natural deduction, separation, and the meaning of logical operators
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
- Natural deduction
- The revival of rejective negation
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Classical logic, argument and dialectic
- On argumentation logic and propositional logic
- Untersuchungen über das logische Schliessen. I
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
- Semi-stable semantics
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- Gentzen's Proof of Normalization for Natural Deduction
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Normalization theorems for full first order classical natural deduction
- The Taming of the Cut. Classical Refutations with Analytic Cut
- Rejection
- A rational account of classical logic argumentation for real-world agents
- Classical logic without bivalence
- On an inferential semantics for classical logic
- Prawitz, Proofs, and Meaning
- The Complexity of Propositional Proofs
- Analytic natural deduction