Quasi-canonical systems and their semantics

DOI10.1007/s11229-018-02045-0zbMath1525.03110OpenAlexW2903980791MaRDI QIDQ6088602

Arnon Avron

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-018-02045-0

zbMATH Keywords

coherencenegationquasi-canonical systemsnon-deterministic matricesGentzen-type systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

The normal and self-extensional extension of Dunn-Belnap logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitive semantics for first-degree entailments and `coupled trees'
• Non-deterministic Multiple-valued Structures
• Automated Support for the Investigation of Paraconsistent and Other Logics
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Quasi-canonical systems and their semantics