default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 76
Volume 76, Number 1, January 2004
- Grzegorz Malinowski:
Inferential Intensionality. 3-16 - Lou Goble:
Combinator Logics. 17-66 - Bernhard Heinemann:
A Modal Logic for Discretely Descending Chains of Sets. 67-90 - Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tableaux. 91-134 - Andrea Cantini, Valentin Goranko:
Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53. 135-142
Volume 76, Number 2, March 2004
- From the Editors. 153
- James G. Raftery:
Willem Blok's Work in Algebraic Logic. 155-160 - Francesc Esteva, Lluís Godo, Franco Montagna:
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. 161-200 - Constantine Tsinakis, Han Zhang:
Order Algebras as Models of Linear Logic. 201-225 - Nikolaos Galatos
:
Equational Bases for Joins of Residuated-lattice Varieties. 227-240 - Clint J. van Alten, James G. Raftery:
Rule Separation and Embedding Theorems for Logics Without Weakening. 241-274 - Annika M. Wille:
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers. 275-290 - Peter Jipsen:
From Semirings to Residuated Kleene Lattices. 291-303
Volume 76, Number 3, April 2004
- Zofia Kostrzycka, Marek Zaionc:
Statistics of Intuitionistic versus Classical Logics. 307-328 - Tadeusz Litak:
Modal Incompleteness Revisited. 329-342 - Uwe Meixner:
Causation in a New Old Key. 343-383 - Sergei P. Odintsov:
On the Representation of N4-Lattices. 385-405 - Michel Rigo:
Characterizing Simpler Recognizable Sets of Integers. 407-426 - Allard M. Tamminga:
Expansion and Contraction of Finite States. 427-442 - Daniel Nolan:
Charles S. Chihara, "The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic". 443-446
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-24 17:12 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:
