The following pages link to (Q3858244):
Displaying 50 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- On a non-nested level-based representation of fuzziness (Q419051) (← links)
- Assertoric semantics and the computational power of self-referential truth (Q427223) (← links)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- Borderline vs. unknown: comparing three-valued representations of imperfect information (Q465586) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- On truth-gaps, truth-gluts, and bipolar propositions (Q473380) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- Power domains and second-order predicates (Q685429) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Four valued semantics and the Liar (Q798313) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- A paraconsistent conditional logic (Q829828) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- An informational view of classical logic (Q897935) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- Relevant logic programming (Q1181715) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- The value of the four values (Q1274293) (← links)
- Inconsistency without contradiction (Q1276426) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- How to be really contraction free (Q1313081) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- Four-valued logic (Q1422105) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Modal multilattice logic (Q1682294) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)