A note on Kripke semantics for residuated logic

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

Publisher： Elsevier

ISSN： 0165-0114

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

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

Tableau method for residuated logic

By MacCaull W.  

Fuzzy Sets and Systems, Vol. 80, Iss. 3, 1996-06 ,pp. : 327-337

Elsevier

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

Integrated semantics and logic metric spaces

By Wang G.-J.   Leung Y.  

Fuzzy Sets and Systems, Vol. 136, Iss. 1, 2003-05 ,pp. : 71-91

Elsevier

Access to resources Recommend Favorite

Relating Categorical Semantics for Intuitionistic Linear Logic

By Maietti Maria  

Applied Categorical Structures, Vol. 13, Iss. 1, 2005-01 ,pp. : 1-36

Springer Publishing Company

Access to resources Recommend Favorite