Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics

DOI10.1080/11663081.2014.911515zbMath1398.03135OpenAlexW2037561608MaRDI QIDQ4583342

Arnon Avron

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2014.911515

zbMATH Keywords

paraconsistent logicsparacomplete logicsthree-valued semanticsnon-deterministic semanticsGentzen-type systemscut-admissibility

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Compositional meaning in logic ⋮ Self-extensional three-valued paraconsistent logics ⋮ Four-valued paradefinite logics ⋮ Quasi-canonical systems and their semantics ⋮ Paraconsistent fuzzy logic preserving non-falsity ⋮ Efficient reasoning with inconsistent information using C-systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ideal paraconsistent logics
• The logic of paradox
• Gentzen-type systems, resolution and tableaux
• Non-deterministic Multiple-valued Structures
• Automated Support for the Investigation of Paraconsistent and Other Logics
• Natural 3-valued logics—characterization and proof theory
• Logics of Formal Inconsistency
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Multi-valued Calculi for Logics Based on Non-determinism
• Proof theory

This page was built for publication: Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics