Taming Paraconsistent (and Other) Logics
From MaRDI portal
Publication:2946751
DOI10.1145/2661636zbMATH Open1354.03082OpenAlexW2131087632WikidataQ130887642 ScholiaQ130887642MaRDI QIDQ2946751FDOQ2946751
Agata Ciabattoni, Anna Zamansky, Lara Spendier, Ori Lahav
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2661636
Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Isabelle Framework
- Isabelle/HOL. A proof assistant for higher-order logic
- On the theory of inconsistent formal systems
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
- Automated Support for the Investigation of Paraconsistent and Other Logics
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Logics of Formal Inconsistency
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Non-deterministic Multiple-valued Structures
- Bounded Proofs and Step Frames
- Algorithmic correspondence and canonicity for distributive modal logic
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
- Cut Elimination for Shallow Modal Logics
- Proof systems combining classical and paraconsistent negations
- A hierarchy of weak double negations
- Finite-valued semantics for canonical labelled calculi
Cited In (9)
- Computational properties of partial non-deterministic matrices and their logics
- Title not available (Why is that?)
- Some recent applications of paraconsistent systems to AI
- Title not available (Why is that?)
- Paraconsistent intelligent systems of computer logics
- Title not available (Why is that?)
- On Axioms and Rexpansions
- An unexpected Boolean connective
- Tools for the Investigation of Substructural and Paraconsistent Logics
Uses Software
This page was built for publication: Taming Paraconsistent (and Other) Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946751)
