Author： Skvortsov Dmitrij
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.81, Iss.2, 2005-11, pp. : 261-282
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics
By Skvortsov D.
Studia Logica, Vol. 61, Iss. 2, 1998-09 ,pp. :
Access to resources
Recommend
By Gehrke Mai
Studia Logica, Vol. 84, Iss. 2, 2006-11 ,pp. :
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
By Ardeshir M.
Studia Logica, Vol. 62, Iss. 3, 1999-05 ,pp. :
A Kripke Semantics for the Logic of Gelfand Quantales
Studia Logica, Vol. 68, Iss. 2, 2001-07 ,pp. :