A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart

By Robles Gemma  

Logica Universalis, Vol. 7, Iss. 4, 2013-12 ,pp. : 507-532

Springer Publishing Company

Access to resources Recommend Favorite

Logic programs with stable model semantics as a constraint programming paradigm

By Niemelä I.  

Annals of Mathematics and Artificial Intelligence, Vol. 25, Iss. 3-4, 1999-01 ,pp. : 241-273

Springer Publishing Company

Access to resources Recommend Favorite

An empirical study of the 4-valued Kripke–Kleene and 4-valued well-founded semantics in random propositional logic programs

By Giannella C.  

Annals of Mathematics and Artificial Intelligence, Vol. 25, Iss. 3-4, 1999-01 ,pp. : 275-309

Springer Publishing Company

Access to resources Recommend Favorite

Semantics and expressiveness of disjunctive ordered logic

By Buccafurri F.  

Annals of Mathematics and Artificial Intelligence, Vol. 25, Iss. 3-4, 1999-01 ,pp. : 311-337

Springer Publishing Company

Access to resources Recommend Favorite

A note on Kripke semantics for residuated logic

By Djurdjevic P.   Djokic D.   Al-Saqabi K.   Saleh K.   Ahmad I.   MacCaull W.  

Fuzzy Sets and Systems, Vol. 77, Iss. 2, 1996-01 ,pp. : 229-234

Elsevier

Access to resources Recommend Favorite