scientific article; zbMATH DE number 3315182

zbMATH Open0198.01702MaRDI QIDQ5596218FDOQ5596218

Authors: Itala D'Ottaviano, N. C. A. da Costa 

Publication date: 1970

Title of this publication is not available (Why is that?)

zbMATH Keywords

general logic

Cited In (29)

• Definability and quantifier elimination for \(J_ 3\)-theories
• On the question of the criteria for the paracompleteness of logics
• Processing Information from a Set of Sources
• Many-valuedness from a universal logic perspective
• Generalized correspondence analysis for three-valued logics
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Three-valued paraconsistent propositional logics
• SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
• К вопросу о критерии паранепротиворечивости логик
• The Lvov-Warsaw school: a true mythology
• Non Truth-Functional Many-Valuedness
• Normalisation for some quite interesting many-valued logics
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
• From possibility theory to paraconsistency
• Idempotent full paraconsistent negations are not algebraizable
• A cartography of LFIs and truth
• Many-valued modalities and paraconsistency
• A map of dependencies among three-valued logics
• Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• From paraconsistent logic to dialetheic logic
• Recovering Consistency by Forgetting Inconsistency
• First-order logics of evidence and truth with constant and variable domains
• Paraconsistent dynamics
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Paraconsistent logics and translations

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)