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 LATTICE OF SUPER-BELNAP LOGICS ⋮ Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory ⋮ Many-valuedness from a universal logic perspective ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ A skeptical theory of inheritance in nonmonotonic semantic networks ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Unnamed Item ⋮ The Relevance of Relevance to Relevance Logic ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ An infinity of super-Belnap logics ⋮ On deductive bases for paraconsistent answer set semantics ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ A computational interpretation of conceptivism ⋮ Substructural epistemic logics ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Provability multilattice logic ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Unnamed Item ⋮ Belnap Constants and Nelson Logic ⋮ Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases ⋮ Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ Conservative translations of four-valued logics in modal logic ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Paraconsistency and word puzzles ⋮ Metasequents and tetravaluations ⋮ From many-valued consequence to many-valued connectives ⋮ Quasi-canonical systems and their semantics ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ A generalized cost-sensitive model for decision-theoretic three-way approximation of fuzzy sets ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology ⋮ The Birth of Dialetheism ⋮ Quotients of d-frames ⋮ Unnamed Item ⋮ Two-layered logics for paraconsistent probabilities ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ Stalnakerian connexive logics ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Unnamed Item ⋮ Logics of upsets of De Morgan lattices ⋮ Logical multilateralism ⋮ Conjunctive paraconsistency ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Relation-changing models meet paraconsistency ⋮ A capacity-based semantics for inconsistency-tolerant inferences ⋮ Bi-oriented graphs and four valued logic for preference modelling ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ A sequent calculus for reasoning in four-valued Description Logics ⋮ Gradual Structures of Oppositions ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Representation of interlaced trilattices ⋮ Towards declarative comparabilities: application to functional dependencies ⋮ How a Computer Should Think ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ Semantical analysis of weak Kleene logics ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Processing Information from a Set of Sources ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Model Checking for Action Abstraction ⋮ Exact truthmaker semantics for modal logics ⋮ Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming ⋮ On the quantified version of the Belnap-Dunn modal logic ⋮ Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics ⋮ On logics and semantics for general logic programs ⋮ A cartography of LFIs and truth ⋮ Non-deterministic logic of generalized classical truth values ⋮ On Ivlev's semantics for modality ⋮ Modeling and shadowing paraconsistent BDI agents ⋮ Deep fried logic ⋮ On Gluts in Mathematics and Science ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ Programming with Annotated Logics ⋮ On logics of perfect paradefinite algebras ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars ⋮ Paraconsistent Modal Logics ⋮ A note on entropy of logic ⋮ A simple signed system for paraconsistent reasoning ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena ⋮ Unnamed Item ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Any-world assumptions in logic programming ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ On Axioms and Rexpansions ⋮ The Strict/Tolerant Idea and Bilattices ⋮ A Weakening of Alpha Graphs: Quasi-Boolean Algebras ⋮ The problem of rational knowledge ⋮ Correspondence analysis for some fragments of classical propositional logic ⋮ De Morgan clones and four-valued logics
This page was built for publication:
