Pages that link to "Item:Q3983121"
From MaRDI portal
The following pages link to Bilattices and the semantics of logic programming (Q3983121):
Displaying 50 items.
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Identity and aboutness (Q2056226) (← links)
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs (Q2102410) (← links)
- A new kind of implication to reason with unknown information (Q2117119) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Bilattices for deductions in multi-valued logic (Q2353941) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic (Q2391898) (← links)
- Bilattices and hyperidentities (Q2510765) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Measuring inaccuracy of uncertain doxastic states in many-valued logical systems (Q2634494) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs (Q2843619) (← links)
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION (Q3442756) (← links)
- Beyond multi-adjoint logic programming (Q3451409) (← links)
- Bipolarity in bilattice logics (Q3537542) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- Note on a six-valued extension of three-valued logic (Q4291025) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- Reasoning tractably about explicit belief: A model-theoretic approach (Q4509295) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- The structure of interlaced bilattices (Q4715676) (← links)
- (Q4842967) (← links)
- A note on the structure of bilattices (Q4862766) (← links)
- On the relationship between annotated logic programs and nonmonotonic formalisms (Q4864837) (← links)
- Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702) (← links)
- (Q4951497) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- Annotated revision specification programs (Q5101447) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- Programming with Annotated Logics (Q5213779) (← links)