default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 77
Volume 77, Number 1, June 2004
- Sven Ove Hansson:
A New Representation Theorem for Contranegative Deontic Logic. 1-7 - Kazushige Terui:
Light Affine Set Theory: A Naive Set Theory of Polynomial Time. 9-40 - M. Randall Holmes:
Paradoxes in Double Extension Set Theories. 41-57 - Razvan Diaconescu:
An Institution-independent Proof of Craig Interpolation Theorem. 59-79 - Victor Pambuccian:
Early Examples of Resource-Consciousness. 81-86 - Fabrice Correia:
Semantics for Analytic Containment. 87-104 - Yde Venema:
A Dual Characterization of Subdirectly Irreducible BAOs. 105-115 - Eric Schechter:
Equivalents of Mingle and Positive Paradox. 117-128 - Book Reviews. 129-147
Volume 77, Number 2, July 2004
- Joel Berman, Willem J. Blok:
Free Lukasiewicz and Hoop Residuation Algebras. 153-180 - Nikolaos Galatos
, James G. Raftery:
Adding Involution to Residuated Structures. 181-207 - Francesco Belardinelli, Peter Jipsen, Hiroakira Ono:
Algebraic Aspects of Cut Elimination. 209-240 - Andrzej Wronski:
The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic. 241-253 - Tomasz Kowalski:
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. 255-265 - Bjarni Jónsson, Constantine Tsinakis:
Products of Classes of Residuated Structures. 267-292
Volume 77, Number 3, August 2004
- Dmitrij P. Skvortsov:
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. 295-323 - Robert Charles Koons:
The Logic of Causal Explanation An Axiomatization. 325-354 - Norihiro Kamide:
Quantized Linear Logic, Involutive Quantales and Strong Negation. 355-384 - Victor Pambuccian:
The Simplest Axiom System for Plane Hyperbolic Geometry. 385-411 - Katarzyna Palasinska:
No Matrix Term-Equivalent to Wronski's 3-element Matrix is Finitely Based. 413-423 - Peter Roeper:
A Sequent Formulation of Conditional Logic Based on Belief Change Operations. 425-438 - Torsten Jepsen:
Dale Jacquette (ed.), A Companion to Philosophical Logic. 439-452
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 2024-10-31 20:16 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:
