scientific article; zbMATH DE number 3648682

Cited in

(only showing first 100 items - show all)

On extensions of triangular norms on bounded lattices
Ordering default theories and nonmonotonic logic programs
Quasi-canonical systems and their semantics
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
Policy-based inconsistency management in relational databases
Correspondence analysis for some fragments of classical propositional logic
Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
A skeptical theory of inheritance in nonmonotonic semantic networks
Any-world assumptions in logic programming
Reasoning about truth
De Morgan clones and four-valued logics
Correspondence analysis and automated proof-searching for first degree entailment
Polarity semantics for negation as a modal operator
Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
Constructing shadowed sets and three-way approximations of fuzzy sets
Representation of interlaced trilattices
Aggregation on Boolean multi-polar space: knowledge-based vs. category-based ordering
Fixpoint semantics for logic programming a survey
Data types over multiple-valued logics
A bipolar model of assertability and belief
The method of Socratic proofs meets correspondence analysis
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
Distributive bilattices from the perspective of natural duality theory.
The logic of generalized truth values and the logic of bilattices
Limited reasoning in first-order knowledge bases
Double-faced rough sets and rough communication
Variable consistency dominance-based rough set approach to preference learning in multicriteria ranking
A causal approach to nonmonotonic reasoning
Paraconsistent logic programming
Bilattices with implications
Modal bilattice logic and its extensions
The strict/tolerant idea and bilattices
Cut elimination, identity elimination, and interpolation in super-Belnap logics
Disentangling \textsf{FDE}-based paraconsistent modal logics
Four-valued paradefinite logics
On Beall's new interpretation of \(WK_{3}\)
Paraconsistent semantics for Pavelka style fuzzy sentential logic
Inconsistency and semantic unification
A generalization of ACP using Belnap's logic
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
Countably many weakenings of Belnap-Dunn logic
Paraconsistent logic, evidence, and justification
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
YinYang bipolar logic and bipolar fuzzy logic
Combining explicit negation and negation by failure via Belnap's logic
The relevance of relevance to relevance logic
A Gentzen calculus for nothing but the truth
Implicit, explicit and speculative knowledge
Analysing inconsistent first-order knowledgebases
Preferences in artificial intelligence
How a Computer Should Think
On modal Meinongianism
Belief functions on distributive lattices
Voting and vagueness
A computational interpretation of conceptivism
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
Data repair of inconsistent nonmonotonic description logic programs
Gradual structures of oppositions
Belief revision in non-classical logics
A four-valued semantics for terminological logics
The problem of rational knowledge
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
Paraconsistent modal logics
Distance-based paraconsistent logics
First-degree entailment and its relatives
An infinity of super-Belnap logics
Resolution approximation of first-order logics
On all strong Kleene generalizations of classical logic
Reductio ad contradictionem: an algebraic perspective
Neutrosophic logics: Prospects and problems
Provability multilattice logic
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
Dialogue games for many-valued logics -- an overview
Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
An epistemic interpretation of paraconsistent weak Kleene logic
Containment logics: algebraic completeness and axiomatization
Bi-facial truth: a case for generalized truth values
Paraconsistency and the need for infinite semantics
Bilattice logic properly displayed
Stone-type representations and dualities for varieties of bisemilattices
scientific article; zbMATH DE number 7297101 (Why is no real title available?)
Exactly true and non-falsity logics meeting infectious ones
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
A four-valued dynamic epistemic logic
A hierarchy of weak double negations
Pecularities of some three- and four-valued second order logics
Quotients of d-frames
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
On deductive bases for paraconsistent answer set semantics
A general framework for FDE-based modal logics
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
Defining LFIs and LFUs in extensions of infectious logics
An encompassing framework for paraconsistent logic programs
Embedding friendly first-order paradefinite and connexive logics
Subminimal negation on the Australian plan
Valuation semantics for first-order logics of evidence and truth
A resolution framework for finitely-valued first-order logics
Processing Information from a Set of Sources
Parametrized semantics of logic programs -- a unifying framework

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)