The following pages link to (Q3204031):
Displaying 12 items.
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- Alternative evidence for nonnegativity (Q860432) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- The value of the four values (Q1274293) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Plug and Play Negations (Q3305346) (← links)
- Bilattices and the semantics of logic programming (Q3983121) (← links)
- Negation as failure in the head (Q4208854) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- (Q4999723) (← links)
- (Q5020976) (← links)