scientific article
From MaRDI portal
Publication:3206928
zbMath0417.03009MaRDI QIDQ3206928
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
four-valued logicmany-valued propositional calculiconstruction of a sophisticated question answering machine
Related Items (only showing first 100 items - show all)
The problem of rational knowledge ⋮ Correspondence analysis for some fragments of classical propositional logic ⋮ De Morgan clones and four-valued logics ⋮ Polarity semantics for negation as a modal operator ⋮ Parametrized semantics of logic programs -- a unifying framework ⋮ Neutrosophic logics: Prospects and problems ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ On all strong Kleene generalizations of classical logic ⋮ Pecularities of some three- and four-valued second order logics ⋮ Limited reasoning in first-order knowledge bases ⋮ A Gentzen calculus for nothing but the truth ⋮ Preferences in artificial intelligence ⋮ Modal bilattice logic and its extensions ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ Inconsistency and semantic unification ⋮ Active logic semantics for a single agent in a static world ⋮ Analysing inconsistent first-order knowledgebases ⋮ A generalization of ACP using Belnap's logic ⋮ Adding a conditional to Kripke's theory of truth ⋮ A four-valued semantics for terminological logics ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ On transitivity of strict preference relations ⋮ Bilattices with implications ⋮ The strong version of a sentential logic ⋮ A logical semantics for depth-first Prolog with ground negation ⋮ An algebraic theory for data linkage ⋮ Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic ⋮ Four-valued paradefinite logics ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Paraconsistent logic, evidence, and justification ⋮ Paraconsistent double negations as classical and intuitionistic negations ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ First-degree entailment and its relatives ⋮ Interpolation methods for Dunn logics and their extensions ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A bipolar model of assertability and belief ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ Classifying material implications over minimal logic ⋮ Reasoning about truth ⋮ Impossible worlds and the logic of imagination ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ Free choice reasons ⋮ A four-valued dynamic epistemic logic ⋮ Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ Belief functions on distributive lattices ⋮ On Beall's new interpretation of \(WK_{3}\) ⋮ A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Combining explicit negation and negation by failure via Belnap's logic ⋮ Interpolation in 16-valued trilattice logics ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Bitopology and four-valued logic ⋮ Probabilities with gaps and gluts ⋮ Variable consistency dominance-based rough set approach to preference learning in multicriteria ranking ⋮ Implicit, explicit and speculative knowledge ⋮ On modal Meinongianism ⋮ Aggregation on Boolean multi-polar space: knowledge-based vs. category-based ordering ⋮ Voting and vagueness ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ YinYang bipolar logic and bipolar fuzzy logic ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Ordering default theories and nonmonotonic logic programs ⋮ A hierarchy of weak double negations ⋮ Bi-facial truth: a case for generalized truth values ⋮ Distance-based paraconsistent logics ⋮ On extensions of triangular norms on bounded lattices ⋮ An encompassing framework for paraconsistent logic programs ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ A general framework for FDE-based modal logics ⋮ Dialogue games for many-valued logics -- an overview ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ Paraconsistent logic programming ⋮ Double-faced rough sets and rough communication ⋮ Data types over multiple-valued logics ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Propositional and predicate logics of incomplete information ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Paraconsistency and the need for infinite semantics ⋮ Constructing shadowed sets and three-way approximations of fuzzy sets ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ Subminimal negation on the Australian plan ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ Bilattice logic properly displayed ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Distributive bilattices from the perspective of natural duality theory. ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Fixpoint semantics for logic programming a survey ⋮ Policy-based inconsistency management in relational databases ⋮ A causal approach to nonmonotonic reasoning
This page was built for publication:
