The following pages link to (Q3206928):
Displaying 50 items.
- The problem of rational knowledge (Q264024) (← links)
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Preferences in artificial intelligence (Q314443) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Bilattices with implications (Q368472) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- Variable consistency dominance-based rough set approach to preference learning in multicriteria ranking (Q506139) (← links)
- On modal Meinongianism (Q513946) (← links)
- Voting and vagueness (Q516326) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- A bipolar model of assertability and belief (Q622286) (← links)
- On Beall's new interpretation of \(WK_{3}\) (Q667921) (← links)
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- YinYang bipolar logic and bipolar fuzzy logic (Q704147) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Constructing shadowed sets and three-way approximations of fuzzy sets (Q778382) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- Inconsistency and semantic unification (Q853424) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- Reasoning about truth (Q908899) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
