Taming Paraconsistent (and Other) Logics
type: Item
instance of: scholarly article
title: Taming Paraconsistent (and Other) Logics
zbMATH Open document ID: 1354.03082
DOI: 10.1145/2661636
author: Agata Ciabattoni
author: Ori Lahav
author: Lara Spendier
author: Anna Zamansky
published in: ACM Transactions on Computational Logic
publication date: 2015-09-17T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6483244
zbMATH Keywords: nonclassical logics
zbMATH Keywords: nondeterministic matrices
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: proof theory
zbMATH Keywords: sequent calculus
describes a project that uses: Isabelle
describes a project that uses: MUltlog
describes a project that uses: Isabelle/HOL
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2661636
OpenAlex ID: W2131087632
cites work: Q3007244
cites work: Q3112289
cites work: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
cites work: Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
cites work: Cut-free sequent calculi for C-systems with generalized finite-valued semantics
cites work: Non-deterministic Multiple-valued Structures
cites work: Q5446288
cites work: Finite-valued semantics for canonical labelled calculi
cites work: Bounded Proofs and Step Frames
cites work: Q4215630
cites work: Logics of Formal Inconsistency
cites work: Q4440555
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: Automated Support for the Investigation of Paraconsistent and Other Logics
cites work: Algorithmic correspondence and canonicity for distributive modal logic
cites work: On the theory of inconsistent formal systems
cites work: Proof systems combining classical and paraconsistent negations
cites work: A hierarchy of weak double negations
cites work: SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
cites work: Cut Elimination for Shallow Modal Logics
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Q4877443
cites work: The Isabelle Framework
Wikidata QID: Q130887642
description: scientific article