The following pages link to (Q3204442):
Displaying 17 items.
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- An overview of transaction logic (Q1341707) (← links)
- A semantics for reasoning consistently in the presence of inconsistency (Q2676565) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- A simple signed system for paraconsistent reasoning (Q5236448) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
