Formal inconsistency and evolutionary databases
From MaRDI portal
Recommendations
Cited in
(53)- Generalized correspondence analysis for three-valued logics
- There is more to negation than modality
- Valuation semantics for first-order logics of evidence and truth
- Tableaux and restricted quantification for systems related to weak Kleene logic
- Revisiting \(\mathbb Z\)
- A paraconsistent logic programming approach for querying inconsistent databases
- Monstrous content and the bounds of discourse
- Logical foundations and complexity of 4QL, a query language with unrestricted negation
- A preferential framework for trivialization-resistant reasoning with inconsistent information
- Revisiting da Costa logic
- Variations on the collapsing lemma
- Literal-paraconsistent and literal-paracomplete matrices
- First order theory for literal-paraconsistent and literal-paracomplete matrices
- Processing Information from a Set of Sources
- scientific article; zbMATH DE number 2080023 (Why is no real title available?)
- A computational interpretation of conceptivism
- On polynomial semantics for propositional logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Classical negation and expansions of Belnap-Dunn logic
- Generalizing functional completeness in Belnap-Dunn logic
- Weakening and extending \(\mathbb{Z}\)
- Exactly true and non-falsity logics meeting infectious ones
- 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
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- 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
- Two, Many, and Differently Many
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
- Non-transitive correspondence analysis
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Ideal paraconsistent logics
- A cartography of LFIs and truth
- Many-valued modalities and paraconsistency
- On three-valued presentations of classical logic
- The dynamics of imperfect reasoning: change, paraconsistency and knowledge
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
- Modality across different logics
- The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- Variable domain first-order first-degree entailment and some of its children
- Proof-theoretic aspects of paraconsistency with strong consistency operator
- On a four-valued logic of formal inconsistency and formal undeterminedness
- A note on the expressive completeness of LP in a metatheory without negation
This page was built for publication: Formal inconsistency and evolutionary databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149220)
