scientific article; zbMATH DE number 3315182

Cited in

(40)

Definability and quantifier elimination for \(J_ 3\)-theories
Generalized correspondence analysis for three-valued logics
Paraconsistent logics and translations
First-order logics of evidence and truth with constant and variable domains
Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
Recovering Consistency by Forgetting Inconsistency
Processing Information from a Set of Sources
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Automated correspondence analysis for the binary extensions of the logic of paradox
The Lvov-Warsaw school: a true mythology
Non Truth-Functional Many-Valuedness
A map of dependencies among three-valued logics
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
Normalisation for some quite interesting many-valued logics
Many-valuedness from a universal logic perspective
Paraconsistent dynamics
From paraconsistent logic to dialetheic logic
Two Genuine 3-Valued Paraconsistent Logics
Three-valued paraconsistent propositional logics
Strong Three-Valued Paraconsistent Logics
From possibility theory to paraconsistency
К вопросу о критерии паранепротиворечивости логик
Idempotent full paraconsistent negations are not algebraizable
On the question of the criteria for the paracompleteness of logics
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
A cartography of LFIs and truth
Many-valued modalities and paraconsistency
The external version of a subclassical logic
A new completeness proof at the propositional level for mbC and some of its extensions
Computer-aided searching for a tabular many-valued discussive logic -- matrices
On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
Variations on the calculi C_n of da Costa
Jaśkowski and the Jains
From Jaśkowski's discussive logic to contemporary paraconsistent systems
Variable domain first-order first-degree entailment and some of its children
On a four-valued logic of formal inconsistency and formal undeterminedness
A note on the expressive completeness of LP in a metatheory without negation
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks

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 Q5596218)