Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics

DOI10.1080/11663081.2014.911515MaRDI QIDQ4583342zbMATH OpenOpenAlexFDO

Authors 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

cut-admissibilityGentzen-type systemsnon-deterministic semanticsparacomplete logicsparaconsistent logicsthree-valued semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1765698
• Cut-elimination and quantification in canonical systems
• scientific article; zbMATH DE number 4091467
• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• Proof systems for 3-valued logics based on Gödel's implication

Cites work

• Automated support for the investigation of paraconsistent and other logics
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Gentzen-type systems, resolution and tableaux
• scientific article; zbMATH DE number 5519286 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1735926 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2042613 (Why is no real title available?)
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• Ideal paraconsistent logics
• Logics of formal inconsistency
• Multi-valued Calculi for Logics Based on Non-determinism
• Natural 3-valued logics—characterization and proof theory
• Non-deterministic Multiple-valued Structures
• Proof theory
• The logic of paradox

Cited in

(9)

• Compositional meaning in logic
• Self-extensional three-valued paraconsistent logics
• Four-valued paradefinite logics
• Paraconsistent fuzzy logic preserving non-falsity
• First-order quasi-canonical proof systems
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• Efficient reasoning with inconsistent information using C-systems
• Quasi-canonical systems and their semantics

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

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