On the theory of inconsistent formal systems

Cited In (only showing first 100 items - show all)

A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
On recent applications of paraconsistent logic: an exploratory literature review
A reasoning method for a paraconsistent logic
Paraconsistent logic
Axiomatisations of the genuine three-valued paraconsistent logics $\mathbf{L3A}_{\mathbf{G}}$ and $\mathbf{L3B}_{\mathbf{G}}$
Routley star and hyperintensionality
Brief study of G'₃ logic
Natural 3-valued logics—characterization and proof theory
Automatic theorem proving in paraconsistent logics: Theory and implementation
Maximality and refutability
Behavioral algebraization of da Costa's C-systems
Proof theory and mathematical meaning of paraconsistent C-systems
Equivalence for the $G_3^\prime$-stable models semantics
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
Paraconsistent logic and model theory
Generalized correspondence analysis for three-valued logics
Paraconsistent logic programming
Four-valued paradefinite logics
Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers
Pecularities of some three- and four-valued second order logics
Paraconsistency and Sette’s calculus P1
On the Propagation of Consistency in Some Systems of Paraconsistent Logic
Combining classical logic, paraconsistency and relevance
A new formulation of discussive logic
Nice embedding in classical logic
In Defence of Dialetheism: A Reply to Beziau and Tkaczyk
From Paraconsistent Logic to Dialetheic Logic
On the Methodology of Paraconsistent Logic
Classical negation and expansions of Belnap-Dunn logic
Non-deterministic semantics for logics with a consistency operator
The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism
Anti-intuitionism and paraconsistency
Game theoretical semantics for some non-classical logics
Distance-based paraconsistent logics
Paraconsistency in classical logic
Analysing inconsistent first-order knowledgebases
Algebraic Valuations as Behavioral Logical Matrices
The value of the four values
Two, Many, and Differently Many
Analytical tableaux for da Costa's hierarchy of paraconsistent logics C_n, 1≤n<ω
On extensions of triangular norms on bounded lattices
Identifying logical evidence
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
Paraconsistent informational logic
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
An epistemic approach to paraconsistency: a logic of evidence and truth
Paraconsistency properties in degree-preserving fuzzy logics
Some topological properties of paraconsistent models
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Structures and logics: a case for (a) relativism
Variations on the Collapsing Lemma
Paraconsistent disjunctive deductive databases
First-order da Costa logic
Relevance and paraconsistency—a new approach
MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
Proof theory of Nelson's paraconsistent logic: a uniform perspective
Automated Support for the Investigation of Paraconsistent and Other Logics
Nothingness, Meinongianism and inconsistent mereology
Some definitions of negation leading to paraconsistent logics
Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework
Revisiting $\mathbb Z$
Self-extensional three-valued paraconsistent logics
Partial and paraconsistent approaches to future contingents in tense logic
Three-Valued Paraconsistent Propositional Logics
Policy-based inconsistency management in relational databases
Rough sets and 3-valued logics
Game Theoretical Semantics for Paraconsistent Logics
New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
Efficient reasoning with inconsistent information using C-systems
A simple signed system for paraconsistent reasoning
K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
A postulate-driven study of logical argumentation
ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
Reasoning with belief functions over Belnap-Dunn logic
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
How Dirty Is Your Relational Database? An Axiomatic Approach
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
Multi-agent Systems and Paraconsistent Knowledge
Paraconsistency and the need for infinite semantics
Some Adaptive Contributions to Logics of Formal Inconsistency
Autoreferential semantics for many-valued modal logics
Is there a zande logic?
Kripke-type semantics for $\mathrm{CG}_3'$
Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
There is more to negation than modality
Paraconsistent orbits of logics
Lindenbaum-type logical structures
Looting Liars Masking Models
Restricted semantics for default reasoning
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
К вопросу о критерии паранепротиворечивости логик
A note on the ontology of mathematics
An adaptive logic for relevant classical deduction
Logical argumentation by dynamic proof systems
A family of genuine and non-algebraisable C-systems
Paraconsistency and plausible argumentation in generative grammar: A case study
Probabilities with gaps and gluts

This page was built for publication: On the theory of inconsistent formal systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2552121)