海量图书期刊资源,随时随地畅享阅读乐趣
Books receivedWiesław Dziobiak; Andrzej Wroński; Wojciech Suchoń; Jan Zygmunt; Ryszard Wójcicki · Studia Logica · 1981
ForewordJanusz Czelakowski; Wiesław Dziobiak; Jacek Malinowski · 2011
On finite approximability of ψ-intermediate logicsWiesław Dziobiak · Studia Logica · 1982
Strong completeness with respect to finite kripke modelsWiesław Dziobiak · 1981
On subquasivariety lattices of semi-primal varietiesWiesław Dziobiak · Algebra Universalis · 1985
On Finite Approximability of ψ-Intermediate LogicsWiesław Dziobiak · Studia Logica: An International Journal for Symbolic Logic · 1982
Finite bases for finitely generated, relatively congruence distributive quasivarietiesWiesław Dziobiak · Algebra Universalis · 1991
Strong Completeness with Respect to Finite Kripke ModelsWiesław Dziobiak · Studia Logica: An International Journal for Symbolic Logic · 1981
Structured meanings and reflexive domainsSerge Lapierre · Studia Logica · 1992
The ω-ruleMichael Thau · Studia Logica · 1992
The logic of linear toleranceGiorgie Dzhaparidze · Studia Logica · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Books receivedStudia Logica · 1992
From the editorsM. E. Adams; W. Dziobiak · Studia Logica · 1996
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Priestley duality for some subalgebra latticesGeorges Hansoul · Studia Logica · 1996