default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 83
Volume 83, Numbers 1-3, June 2006
- Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery:
In Memory of Willem Johannes Blok 1947-2003. 5-14 - Wolfgang Rautenberg, Michael Zakharyaschev
, Frank Wolter:
Willem Blok and Modal Logic. 15-30 - Ramon Jansana:
Willem Blok's Contribution to Abstract Algebraic Logic. 31-48 - Willem J. Blok, Eva Hoogland:
The Beth Property in Algebraic Logic. 49-90 - Willem J. Blok, Bjarni Jónsson:
Equivalence of Consequence Operations. 91-110 - Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation:
The Jónsson-Kiefer Property. 111-131 - Johan van Benthem:
Modal Frame Correspondences and Fixed-Points. 133-155 - Roberto Cignoli, Antoni Torrens:
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2. 157-181 - Janusz Czelakowski:
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts. 183-214 - Josep Maria Font, Ramon Jansana, Don Pigozzi:
On the Closure Properties of the Class of Full G-models of a Deductive System. 215-278 - Nikolaos Galatos, Hiroakira Ono:
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. 279-308 - Robert Goldblatt:
Maps and Monads for Modal Frames. 309-331 - Keith A. Kearnes:
Quasivarieties of Modules Over Path Algebras of Quivers. 333-349 - Tomasz Kowalski, Marcus Kracht:
Semisimple Varieties of Modal Algebras. 351-363 - Larisa Maksimova:
Projective Beth Property in Extensions of Grzegorczyk Logic. 365-391 - Jeffrey S. Olson:
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes. 393-406 - Constantine Tsinakis, Annika M. Wille:
Minimal Varieties of Involutive Residuated Lattices. 407-423 - Clint J. van Alten:
On Varieties of Biresiduation Algebras. 425-445
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
