The following pages link to (Q4360106):
Displaying 15 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Formal axiomatic theories based on a three-valued logic (Q937906) (← links)
- Systems of ordinal fuzzy logic with application to preference modelling (Q1349206) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Automated deduction for many-valued logics (Q2751372) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- (Q4360105) (← links)
- (Q4450446) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- (Q5389723) (← links)
- \(\mho\)-resolution and hybrid knowledge bases (Q5947353) (← links)
