Period of time： 2014年2期
Publisher： Springer Publishing Company
Founded in： 1953
Total resources： 90
ISSN： 0039-3215
Subject： B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 68,issue 2
Menu
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
Studia Logica,volume 68,issue 2 , Vol. 68, Iss. 2, 2001-07 , pp.
Access to resources
Recommend
A Kripke Semantics for the Logic of Gelfand Quantales
By Allwein G.,MacCaull W. in (2001)
Studia Logica,volume 68,issue 2 , Vol. 68, Iss. 2, 2001-07 , pp.On Neat Reducts of Algebras of Logic
By Ahmed T.S.,Németi I. in (2001)
Studia Logica,volume 68,issue 2 , Vol. 68, Iss. 2, 2001-07 , pp.Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic
By Aghaei M.,Ardeshir M. in (2001)
Studia Logica,volume 68,issue 2 , Vol. 68, Iss. 2, 2001-07 , pp.