Formal inconsistency and evolutionary databases
From MaRDI portal
Publication:3149220
DOI10.12775/LLP.2000.008zbMath1005.03509OpenAlexW2029571501MaRDI QIDQ3149220
João Marcos, Walter Alexandre Carnielli, Sandra de Amo
Publication date: 12 November 2002
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2000.008
semanticsparaconsistent logicaxiomaticslogics of formal inconsistencyinconsistent dataevolutionary databases
Related Items (38)
Generalized correspondence analysis for three-valued logics ⋮ Revisiting da Costa logic ⋮ Logical foundations and complexity of 4QL, a query language with unrestricted negation ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information ⋮ A computational interpretation of conceptivism ⋮ On polynomial semantics for propositional logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Two, Many, and Differently Many ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Monstrous content and the bounds of discourse ⋮ Non-transitive correspondence analysis ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ A Note on Ciuciura’s mbC1 ⋮ Revisiting \(\mathbb Z\) ⋮ Ideal paraconsistent logics ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ A paraconsistent logic programming approach for querying inconsistent databases ⋮ Variations on the Collapsing Lemma ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ There is more to negation than modality ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency ⋮ Processing Information from a Set of Sources ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Literal-paraconsistent and literal-paracomplete matrices ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory ⋮ Credal Calculi, Evidence, and Consistency
This page was built for publication: Formal inconsistency and evolutionary databases
