scientific article; zbMATH DE number 3648682

Cited in

(only showing first 100 items - show all)

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
Fuzzy types: A framework for handling uncertainty about types of objects
On a multilattice analogue of a hypersequent S5 calculus
A sequent calculus for reasoning in four-valued description logics
THE LATTICE OF SUPER-BELNAP LOGICS
Semantical analysis of weak Kleene logics
On Axioms and Rexpansions
Impossible worlds and the logic of imagination
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
Correspondence analysis for logic of rational agent
Provably true sentences across axiomatizations of Kripke's theory of truth
Model Checking for Action Abstraction
The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
Interpolation in 16-valued trilattice logics
Propositional and predicate logics of incomplete information
A simple signed system for paraconsistent reasoning
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
On transitivity of strict preference relations
Boole-De Morgan bilattices
Substructural epistemic logics
A logical semantics for depth-first Prolog with ground negation
Notes on models of (partial) Kripke-Feferman truth
Bitopology and four-valued logic
A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
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

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)