scientific article; zbMATH DE number 3993546

MaRDI QIDQ4722043zbMATH OpenFDO

Authors Itala D'Ottaviano

Publication date 1985

Full work available at URL https://eudml.org/doc/181748

zbMATH Keywords

semanticsmodal logicsparaconsistent logicsstrong equivalencethree-valued systemthree-valued theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• A Complete Axiomatization of the Three valued Completion of Logic Programs
• scientific article; zbMATH DE number 2217307
• A criterion of model completeness for the closed classes of 3-valued logic
• scientific article; zbMATH DE number 2020144
• Completeness criterion with respect to the enumeration closure operator in the three-valued logic
• Completeness criterion for the enumeration closure operator in three-valued logic
• The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
• On the axiomatization of three-valued propositional logic
• The strong completeness of a system based on Kleene's strong three-valued logic
• scientific article; zbMATH DE number 1163566

Cited in

(28)

• scientific article; zbMATH DE number 4142015 (Why is no real title available?)
• scientific article; zbMATH DE number 3954877 (Why is no real title available?)
• Definability and quantifier elimination for \(J_ 3\)-theories
• Tutorial on Inconsistency-Adaptive Logics
• Super-Łukasiewicz logics expanded by
• Paraconsistency and the need for infinite semantics
• Variable domain first-order first-degree entailment and some of its children
• Formal axiomatic theories based on a three-valued logic
• Four-valued paradefinite logics
• Three-valued paraconsistent propositional logics
• SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
• Completeness criterion for the enumeration closure operator in three-valued logic
• Variations on the collapsing lemma
• Many-valued modalities and paraconsistency
• Two, Many, and Differently Many
• The dynamics of imperfect reasoning: change, paraconsistency and knowledge
• scientific article; zbMATH DE number 6154338 (Why is no real title available?)
• The non-definability notion and first order logic
• From paraconsistent logic to dialetheic logic
• On the methodology of paraconsistent logic
• Twist-valued models for three-valued paraconsistent set theory
• Self-extensional three-valued paraconsistent logics
• A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
• Paraconsistent logic and query answering in inconsistent databases
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 5696770 (Why is no real title available?)
• Paraconsistent logics and translations
• Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa

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