scientific article; zbMATH DE number 2019859
From MaRDI portal
Publication:4440555
zbMath1036.03022arXivmath/0108036MaRDI QIDQ4440555
João Marcos, Walter Alexandre Carnielli
Publication date: 2002
Full work available at URL: https://arxiv.org/abs/math/0108036
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Negative modalities, consistency and determinedness ⋮ Revisiting da Costa logic ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ A paraconsistent approach to deal with epistemic inconsistencies in argumentation ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Analysing inconsistent first-order knowledgebases ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ Taming Paraconsistent (and Other) Logics ⋮ Compositional meaning in logic ⋮ Sequent systems for negative modalities ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ From Inconsistency to Incompatibility ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ Negation and paraconsistent logics ⋮ Weakly Free Multialgebras ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ A Note on Ciuciura’s mbC1 ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ Plug and Play Negations ⋮ A paraconsistent logic programming approach for querying inconsistent databases ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Kripke-type semantics for \(\mathrm{CG}_3'\) ⋮ On Discourses Addressed by Infidel Logicians ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Limits for paraconsistent calculi ⋮ Semantical analysis of weak Kleene logics ⋮ Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ An encompassing framework for paraconsistent logic programs ⋮ Paraconsistent informational logic ⋮ Combining classical logic, paraconsistency and relevance ⋮ Anti-intuitionism and paraconsistency ⋮ On negation: Pure local rules ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ Rough sets and 3-valued logics ⋮ A single proof of classical behaviour in da Costa's \(C_n\) systems ⋮ On paraconsistent extensions of \(C_1\) ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Reasoning with different levels of uncertainty ⋮ Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework ⋮ Paraconsistency and the need for infinite semantics ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ A family of genuine and non-algebraisable C-systems ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory ⋮ On Axioms and Rexpansions ⋮ Credal Calculi, Evidence, and Consistency ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
