scientific article; zbMATH DE number 2019859
From MaRDI portal
Publication:4440555
Recommendations
Cited in
(92)- On the propagation of consistency in some systems of paraconsistent logic
- Semantical analysis of weak Kleene logics
- Non-Fregean world of logics
- Negation and paraconsistent logics
- Mortensen logics
- Negative modalities, consistency and determinedness
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Recovery operators, paraconsistency and duality
- Limits for paraconsistent calculi
- Proof theory and mathematical meaning of paraconsistent C-systems
- Paraconsistency and the need for infinite semantics
- Equivalence for the G₃^-stable models semantics
- From Inconsistency to Incompatibility
- Kripke-type semantics for \(\mathrm{CG}_3'\)
- Deduction normalization theorem for Sette's logic and its modifications
- CICM'21 systems entries
- Combining classical logic, paraconsistency and relevance
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- Plug and Play Negations
- A model-theoretic analysis of Fidel-structures for mbC
- From logics of formal inconsistency to logics of formal classicality
- Generalizing functional completeness in Belnap-Dunn logic
- Revisiting da Costa logic
- Non-deterministic semantics for logics with a consistency operator
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- Anti-intuitionism and paraconsistency
- On paraconsistent extensions of C₁
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- \textit{LFIs} and methods of classical recapture
- On a four-valued logic of formal inconsistency and formal undeterminedness
- A recovery operator for nontransitive approaches
- A family of genuine and non-algebraisable C-systems
- Taming paraconsistent (and other) logics: an algorithmic approach
- (In)consistency operators on quasi-Nelson algebras
- On negation: Pure local rules
- A paraconsistent approach to deal with epistemic inconsistencies in argumentation
- Paraconsistent conjectural deduction based on logical entropy measures. I: C-systems as non-standard inference framework
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Partial connexivity and the logic CG'_3
- An encompassing framework for paraconsistent logic programs
- Correspondence analysis and automated proof-searching for first degree entailment
- Analysing inconsistent first-order knowledgebases
- A cartography of LFIs and truth
- On Ivlev's semantics for modality
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
- Credal Calculi, Evidence, and Consistency
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- C-systems defined by universe categories: presheaves
- Paraconsistent informational logic
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- New paraconsistent modal logics based on rough modus ponens rules and their interrelations
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- A paraconsistent logic programming approach for querying inconsistent databases
- Normalization and cut-elimination theorems for some logics of evidence and truth
- The dynamics of imperfect reasoning: change, paraconsistency and knowledge
- Compositional meaning in logic
- Sequent systems for negative modalities
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\).
- Tools for the investigation of substructural and paraconsistent logics
- Weakly Free Multialgebras
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- A single proof of classical behaviour in da Costa's C_n systems
- A modal axiomatization of \(\mathbf{BK}\)
- Reasoning with different levels of uncertainty
- Semantical investigations on non-classical logics with recovery operators: negation
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- A new completeness proof at the propositional level for mbC and some of its extensions
- Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- Twist-valued models for three-valued paraconsistent set theory
- Defining LFIs and LFUs in extensions of infectious logics
- On Axioms and Rexpansions
- On Discourses Addressed by Infidel Logicians
- On the philosophy and mathematics of the logics of formal inconsistency
- A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
- First-order logics of evidence and truth with constant and variable domains
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- Rough sets and 3-valued logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
- Paraconsistency in non-Fregean framework
- An infinite family of finite-valued paraconsistent algebraizable logics
- Efficient reasoning with inconsistent information using C-systems
- Proof-theoretic aspects of paraconsistency with strong consistency operator
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440555)
