scientific article; zbMATH DE number 3648682

zbMATH Open0417.03009MaRDI QIDQ3206928FDOQ3206928

Authors: Nuel D. jun. Belnap

Publication date: 1977

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

zbMATH Keywords

four-valued logic many-valued propositional calculi construction of a sophisticated question answering machine

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (only showing first 100 items - show all)

Quasi-canonical systems and their semantics
The problem of rational knowledge
De Morgan clones and four-valued logics
Polarity semantics for negation as a modal operator
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
Neutrosophic logics: Prospects and problems
The Strict/Tolerant Idea and Bilattices
Resolution approximation of first-order logics
Implicit, explicit and speculative knowledge
A computational interpretation of conceptivism
Limited reasoning in first-order knowledge bases
Paraconsistent logic programming
Cut elimination, identity elimination, and interpolation in super-Belnap logics
Disentangling \textsf{FDE}-based paraconsistent modal logics
Four-valued paradefinite logics
Inconsistency and semantic unification
Ordering default theories and nonmonotonic logic programs
A generalization of ACP using Belnap's logic
Belief revision in non-classical logics
A four-valued semantics for terminological logics
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
On all strong Kleene generalizations of classical logic
Reductio ad contradictionem: an algebraic perspective
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
Paraconsistent logic, evidence, and justification
Countably many weakenings of Belnap-Dunn logic
Combining explicit negation and negation by failure via Belnap's logic
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
A Gentzen calculus for nothing but the truth
Preferences in artificial intelligence
Distance-based paraconsistent logics
YinYang bipolar logic and bipolar fuzzy logic
Provability multilattice logic
Correspondence analysis and automated proof-searching for first degree entailment
The logic of generalized truth values and the logic of bilattices
Analysing inconsistent first-order knowledgebases
Data repair of inconsistent nonmonotonic description logic programs
Representation of interlaced trilattices
Aggregation on Boolean multi-polar space: knowledge-based vs. category-based ordering
Double-faced rough sets and rough communication
The Relevance of Relevance to Relevance Logic
Any-world assumptions in logic programming
Data types over multiple-valued logics
On extensions of triangular norms on bounded lattices
Reasoning about truth
Paraconsistent semantics for Pavelka style fuzzy sentential logic
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
Paraconsistent modal logics
Constructing shadowed sets and three-way approximations of fuzzy sets
Variable consistency dominance-based rough set approach to preference learning in multicriteria ranking
Belief functions on distributive lattices
Title not available (Why is that?)
Distributive bilattices from the perspective of natural duality theory.
How a Computer Should Think
An infinity of super-Belnap logics
A bipolar model of assertability and belief
Four-Valued Logics BD and DM4: Expansions
Bilattices with implications
Correspondence analysis for some fragments of classical propositional logic
Modal bilattice logic and its extensions
First-degree entailment and its relatives
Gradual Structures of Oppositions
О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
A skeptical theory of inheritance in nonmonotonic semantic networks
Fixpoint semantics for logic programming a survey
On Beall's new interpretation of \(WK_{3}\)
On modal Meinongianism
Voting and vagueness
The Method of Socratic Proofs Meets Correspondence Analysis
A causal approach to nonmonotonic reasoning
Policy-based inconsistency management in relational databases
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
A simple signed system for paraconsistent reasoning
A four-valued dynamic epistemic logic
On deductive bases for paraconsistent answer set semantics
A logical semantics for depth-first Prolog with ground negation
Processing Information from a Set of Sources
A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
Paraconsistency and the need for infinite semantics
Interpolation in 16-valued trilattice logics
Exactly true and non-falsity logics meeting infectious ones
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
Fuzzy types: A framework for handling uncertainty about types of objects
Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
Pecularities of some three- and four-valued second order logics
Substructural epistemic logics
Stone-type representations and dualities for varieties of bisemilattices
Impossible worlds and the logic of imagination
Model Checking for Action Abstraction
Dialogue games for many-valued logics -- an overview
Quotients of d-frames
A general framework for FDE-based modal logics
Bilattice logic properly displayed
Notes on models of (partial) Kripke-Feferman truth
On a multilattice analogue of a hypersequent S5 calculus
An encompassing framework for paraconsistent logic programs
THE LATTICE OF SUPER-BELNAP LOGICS
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
A sequent calculus for reasoning in four-valued Description Logics

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