scientific article; zbMATH DE number 6946270

zbMath1448.03001MaRDI QIDQ4686539

Anna Zamansky, Arnon Avron, Ofer Arieli

Publication date: 2 October 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Paraconsistent logics (03B53)

Related Items

De Morgan clones and four-valued logics ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Analytic tableaux for non-deterministic semantics ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Implication, Equivalence, and Negation ⋮ Many-valuedness from a universal logic perspective ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Quasi-canonical systems and their semantics ⋮ A postulate-driven study of logical argumentation ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ What Is Negation in a System 2020? ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Comments on the Papers ⋮ Relevance-Sensitive Truth-Trees