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)

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
Containment logics: algebraic completeness and axiomatization
A resolution framework for finitely-valued first-order logics
The strong version of a sentential logic
Interpolation methods for Dunn logics and their extensions
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
Paraconsistent double negations as classical and intuitionistic negations
Rivals to Belnap-Dunn logic on interlaced trilattices
Propositional and predicate logics of incomplete information
A hierarchy of weak double negations
Title not available (Why is that?)
Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
Bi-facial truth: a case for generalized truth values
Title not available (Why is that?)
Defining LFIs and LFUs in extensions of infectious logics
Embedding friendly first-order paradefinite and connexive logics
Subminimal negation on the Australian plan
Valuation semantics for first-order logics of evidence and truth
Parametrized semantics of logic programs -- a unifying framework
On Axioms and Rexpansions
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
Provably true sentences across axiomatizations of Kripke's theory of truth
The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
On transitivity of strict preference relations
Bitopology and four-valued logic
Title not available (Why is that?)
Semantical analysis of weak Kleene logics
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

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)