Computable Kripke Models and Intermediate Logics

Author： Ishihara H.   Khoussainov B.   Nerode A.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.143, Iss.2, 1998-06, pp. : 205-230

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

On Automorphic Tuples of Elements in Computable Models

By Goncharov S.   Harizanov V.   Knight J.   Morozov A.   Romina A.  

Siberian Mathematical Journal, Vol. 46, Iss. 3, 2005-05 ,pp. : 405-412

Springer Publishing Company

Access to resources Recommend Favorite

Models for quantitative distributed systems and multi-valued logics

By Huschenbett Martin  

International Journal of Computer Mathematics, Vol. 90, Iss. 6, 2013-06 ,pp. : 1223-1246

Taylor & Francis Ltd

Access to resources Recommend Favorite

Volume Conservation of the Intermediate Phase in Three-Phase Pore-Network Models

By Sheppard Adrian  

Transport in Porous Media, Vol. 59, Iss. 2, 2005-05 ,pp. : 155-173

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

On a class of fuzzy computable functions

By Morales-Bueno R.   Conejo R.   Perez-de-la-Cruz J.-L.   Triguero-Ruiz F.  

Fuzzy Sets and Systems, Vol. 121, Iss. 3, 2001-08 ,pp. : 505-522

Elsevier

Access to resources Recommend Favorite