The following pages link to Programming in three-valued logic (Q753474):
Displaying 7 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Nondeterministic three-valued logic: isotonic and guarded truth-functions (Q792750) (← links)
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS (Q3502995) (← links)
- Intuitionistic three-valued logic and logic programming (Q3991300) (← links)