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

Author： Giannella C.  

Publisher： Springer Publishing Company

ISSN： 1012-2443

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

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

Multi-valued autoepistemic logic

By Stärk R.F.  

Annals of Mathematics and Artificial Intelligence, Vol. 18, Iss. 2-4, 1997-01 ,pp. : 159-174

Springer Publishing Company

Access to resources Recommend Favorite

An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

By Morikawa O.  

Fuzzy Sets and Systems, Vol. 101, Iss. 1, 1999-01 ,pp. : 115-123

Elsevier

Access to resources Recommend Favorite

A Representation of Vector‐Valued Random Processes

By  

STUDIES IN APPLIED MATHEMATICS, Vol. 97-1421, Iss. 1, 1960-04 ,pp. : 211-216

John Wiley & Sons Inc

Access to resources Recommend Favorite