default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 78
Volume 78, Number 1-2, November 2004
- M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko:
From the editors. 3-5 - Jirí Adámek:
On quasivarieties and varieties as categories. 7-33 - Kira V. Adaricheva, V. A. Gorbunov:
On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties. 35-44 - Karl Auinger, Gracinda M. S. Gomes, Victoria Gould, Benjamin Steinberg
:
An application of a Theorem of Ash to finite covers. 45-57 - Willem J. Blok, James G. Raftery:
Fragments of R-Mingle. 59-106 - Alexander Budkin:
Dominions in quasivarieties of universal algebras. 107-127 - Peter Burmeister:
Algebraic theory of quasivarieties of heterogeneous partial algebras. 129-153 - Xavier Caicedo:
Implicit connectives of algebraizable logics. 155-170 - Janusz Czelakowski, Don Pigozzi:
Fregean logics with the multiterm deduction theorem and their algebraization. 171-212 - Brian A. Davey, Miroslav Haviar:
Applications of Priestley duality in transferring optimal dualities. 213-236 - Hernando Gaitán, Milton H. Perea:
A non-finitely based quasi-variety of De Morgan algebras. 237-248 - Hans-Jürgen Hoehnke:
Quasi-varieties: A special access. 249-260 - Richard Holzer:
On subdirectly irreducible OMAs. 261-277 - Václav Koubek, Jirí Sichler:
On relative universality and Q-universality. 279-291 - Miklós Maróti, Ralph McKenzie:
Finite basis problems and results for quasivarieties. 293-320 - Katarzyna Matczak, Anna B. Romanowska:
Quasivarieties of cancellative commutative binary modes. 321-335 - Alexei Vernitski:
Finite quasivarieties and self-referential conditions. 337-348 - Mikhail V. Volkov:
Checking quasi-identities in a finite semigroup may be computationally hard. 349-356 - M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko:
Open questions related to the problem of Birkhoff and Maltsev. 357-378
Volume 78, Number 3, December 2004
- Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt:
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. 381-415 - Sergei P. Odintsov:
Negative Equivalence of Extensions of Minimal Logic. 417-442 - Nick Bezhanishvili, Ian M. Hodkinson:
All Normal Extensions of S5-squared Are Finitely Axiomatizable. 443-457 - Paulo A. S. Veloso, Sheila R. M. Veloso:
On Ultrafilter Logic and Special Functions. 459-477 - Walter Alexandre Carnielli:
Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. 479-481
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-07 20:35 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:
