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 76,issue 2
Menu
Willem Blok's Work in Algebraic Logic
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras
By Esteva Fransesc,Godo Lluís,Montagna Franco in (2004)
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.Order Algebras as Models of Linear Logic
By Tsinakis Constantine,Zhang Han in (2004)
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.Equational Bases for Joins of Residuated-lattice Varieties
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.Rule Separation and Embedding Theorems for Logics Without Weakening
By Van Alten Clint J.,Raftery James G. in (2004)
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.From Semirings to Residuated Kleene Lattices
Studia Logica,volume 76,issue 2 , Vol. 76, Iss. 2, 2004-03 , pp.