Analytic calculi for basic logics of formal inconsistency
From MaRDI portal
Recommendations
- Modular construction of cut-free sequent calculi for paraconsistent logics
- Automated support for the investigation of paraconsistent and other logics
- Efficient reasoning with inconsistent information using C-systems
- Automatic reasoning in paraconsistent logic
- On the construction of analytic sequent calculi for sub-classical logics
Cited in
(13)- Automatic reasoning in paraconsistent logic
- On the construction of analytic sequent calculi for sub-classical logics
- Tools for the investigation of substructural and paraconsistent logics
- Taming paraconsistent (and other) logics: an algorithmic approach
- Modular construction of cut-free sequent calculi for paraconsistent logics
- scientific article; zbMATH DE number 3882420 (Why is no real title available?)
- Automated support for the investigation of paraconsistent and other logics
- scientific article; zbMATH DE number 3937155 (Why is no real title available?)
- scientific article; zbMATH DE number 1950262 (Why is no real title available?)
- Efficient reasoning with inconsistent information using C-systems
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
- On a four-valued logic of formal inconsistency and formal undeterminedness
This page was built for publication: Analytic calculi for basic logics of formal inconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918414)
