default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 91
Volume 91, Number 1, February 2009
- Giorgi Japaridze
:
Many Concepts and Two Logics of Algorithmic Reduction. 1-24 - Luc Schneider:
The Logic of the Ontological Square. 25-51 - István Németi, András Simon:
Weakly higher order cylindric algebras and finite axiomatization of the representables. 53-62 - Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins:
Behavioral Algebraization of Logics. 63-111 - Wieslaw Dziobiak, A. V. Kravchenko, Piotr J. Wojciechowski:
Equivalents for a Quasivariety to be Generated by a Single Structure. 113-123 - Josep Maria Font, Ramon Jansana, Don Pigozzi:
Update to "A Survey of Abstract Algebraic Logic". 125-130 - Ernst Zimmermann:
Predicate Logical Extensions of some Subintuitionistic Logics. 131-138 - Roy Cook:
Book Reviews. 139-144
Volume 91, Number 2, March 2009
- Luca Alberucci, Alessandro Facchini:
On Modal µ -Calculus and Gödel-Löb Logic. 145-169 - Agostinho Almeida:
Canonical Extensions and Relational Representations of Lattices with Negation. 171-199 - Michal Kozak:
Distributive Full Lambek Calculus Has the Finite Model Property. 201-216 - Norihiro Kamide:
Proof Systems Combining Classical and Paraconsistent Negations. 217-238 - Ming Hsiung:
Jump Liars and Jourdain's Card via the Relativized T-scheme. 239-271 - Arnon Avron, Beata Konikowska:
Proof Systems for Reasoning about Computation Errors. 273-293
Volume 91, Number 3, April 2009
- Yaroslav Shramko, Heinrich Wansing:
Editorial Introduction. Truth Values: Part I. 295-304 - Nuel Belnap:
Truth Values, Neither-true-nor-false, and Supervaluations. 305-334 - Melvin Fitting:
How True It Is = Who Says It's True. 335-366 - Petr Hájek:
On Vagueness, Truth Values and Fuzzy Logics. 367-382 - Josep Maria Font:
Taking Degrees of Truth Seriously. 383-406 - Sergei P. Odintsov:
On Axiomatizing Shramko-Wansing's Logic. 407-428 - Yaroslav Shramko, Heinrich Wansing:
The Slingshot Argument and Sentential Identity. 429-455
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-09-14 23:43 CEST 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:
