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 70,issue 2
Menu
On Łukasiewicz's Four-Valued Modal Logic
By Font J.M.,Hájek P. in (2002)
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.
Access to resources
Recommend
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
By Jenei S.,Montagna F. in (2002)
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Refutations, Proofs, and Models in the Modal Logic K4
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Connection Tableau Calculi with Disjunctive Constraints
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Coherence in Substructural Categories
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Roman Murawski, Recursive Functions and Metamathematics
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999
Studia Logica,volume 70,issue 2 , Vol. 70, Iss. 2, 2002-03 , pp.