Studia 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, A. 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

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

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

Last update Sat May 18 20:53:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page