Pages that link to "Item:Q3991300"
From MaRDI portal
The following pages link to Intuitionistic three-valued logic and logic programming (Q3991300):
Displaying 5 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Programming in three-valued logic (Q753474) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Intuitionistic Trilattice Logics (Q3069727) (← links)
- A Complete Axiomatization of the Three valued Completion of Logic Programs (Q3988059) (← links)