scientific article

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

four-valued logic paraconsistent logic question-answering machine

Automata and formal grammars in connection with logical questions (03D05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

``Four-valued semantics for the relevant logic R ⋮ Conditional logics of normality: A modal approach ⋮ Resolving contradictions: A plausible semantics for inconsistent systems ⋮ Informational semantics, non-deterministic matrices and feasible deduction ⋮ A paraconsistent conditional logic ⋮ A modal reduction for partial logic ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Truth and the liar in De Morgan-valued models ⋮ Connectives stranger than tonk ⋮ Partial up an down logic ⋮ An approach to uncertainty via sets of truth values ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ A theory of truth that prefers falsehood ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Qualitative capacities: basic notions and potential applications ⋮ A new axiomatic foundation of partial comparability ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Compositional meaning in logic ⋮ Modal multilattice logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ 40 years of FDE: an introductory overview ⋮ An algebraic view of super-Belnap logics ⋮ A semantics for reasoning consistently in the presence of inconsistency ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ The B4-valued propositional Belnap-Dunn logic1 ⋮ MTV logics ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ An informational view of classical logic ⋮ From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory ⋮ On a non-nested level-based representation of fuzziness ⋮ Assertoric semantics and the computational power of self-referential truth ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Nothing but the truth ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ Contradictory information: too much of a good thing ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Four-valued logic ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Probability, fuzziness and borderline cases ⋮ Structure of the rational monoid algebra for Boolean matrices of order 3 ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Borderline vs. unknown: comparing three-valued representations of imperfect information ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Partial and paraconsistent three-valued logics ⋮ On some similarity measures and entropy on quadripartitioned single valued neutrosophic sets ⋮ On truth-gaps, truth-gluts, and bipolar propositions ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Relevant logic programming ⋮ Paraconsistent disjunctive deductive databases ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ A map of dependencies among three-valued logics ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ Belnap's logic and conditional composition ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Belnap-Dunn modal logic with value operators ⋮ Proof theory of paraconsistent quantum logic ⋮ A theory of nonmonotonic inheritance based on annotated logic ⋮ De Morgan functions and free De Morgan algebras. ⋮ Power domains and second-order predicates ⋮ Restricted semantics for default reasoning ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ On partial and paraconsistent logics ⋮ Paraconsistent logic from a modal viewpoint ⋮ Non-distributive relatives of ETL and NFL ⋮ Valuations: bi, tri, and tetra ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ A paraconsistent many-valued similarity method for multi-attribute decision making ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Proof systems combining classical and paraconsistent negations ⋮ How true it is = who says it's true ⋮ On axiomatizing Shramko-Wansing's logic ⋮ JGXYZ: an ATP system for gap and glut logics ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ The value of the four values ⋮ Inconsistency without contradiction ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Four valued semantics and the Liar ⋮ How to be really contraction free ⋮ Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic ⋮ From bi-facial truth to bi-facial proofs ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) ⋮ A non-deterministic view on non-classical negations ⋮ Gentzen-type methods for bilattice negation ⋮ Inconsistency-tolerant reasoning with OWL DL ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Some useful 16-valued logics: How a computer network should think ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement ⋮ Should Deflationists Be Dialetheists? ⋮ A Generalization of Falsity in Finitely-many Valued Logics ⋮ Dialectical Rough Sets, Parthood and Figures of Opposition-I ⋮ Multiple agent possibilistic logic ⋮ Foreword: Three-valued logics and their applications ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Attribute exploration with multiple contradicting partial experts ⋮ Unnamed Item ⋮ Orthopartitions and possibility distributions ⋮ Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Qualitative reasoning in a two-layered framework ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Unnamed Item ⋮ Recovering Consistency by Forgetting Inconsistency ⋮ Belnap and Nāgārjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuṣkoṭi ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Consistency, Completeness, and Classicality ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ First-Degree Entailment and Structural Reasoning ⋮ Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters ⋮ Two Negations Are More than One ⋮ Some Comments and Replies ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Unnamed Item ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ Can deflationists be dialetheists? ⋮ A nonstandard approach to the logical omniscience problem ⋮ A nonstandard approach to the logical omniscience problem ⋮ Connexive Conditional Logic. Part I ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ From Possibility Theory to Paraconsistency ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Logical Nihilism and the Logic of ‘prem’ ⋮ Universal Logic as a Science of Patterns ⋮ A Hofmann-Mislove theorem for Bitopological Spaces ⋮ A Generalization of ACP Using Belnap's Logic

This page was built for publication: