ask others

Studia Logica, Volume 91

> Home > Journals > Studia Logica

Volume 91, Number 1, February 2009

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Japaridze09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Japaridze09
Giorgi Japaridze:
Many Concepts and Two Logics of Algorithmic Reduction. 1-24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Schneider09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Schneider09
Luc Schneider:
The Logic of the Ontological Square. 25-51
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/NemetiS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/NemetiS09
István Németi, A. Simon:
Weakly higher order cylindric algebras and finite axiomatization of the representables. 53-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/CaleiroGM09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/CaleiroGM09
Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins:
Behavioral Algebraization of Logics. 63-111
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/DziobiakKW09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/DziobiakKW09
Wieslaw Dziobiak, A. V. Kravchenko, Piotr J. Wojciechowski:
Equivalents for a Quasivariety to be Generated by a Single Structure. 113-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/FontJP09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/FontJP09
Josep Maria Font, Ramon Jansana, Don Pigozzi:
Update to "A Survey of Abstract Algebraic Logic". 125-130
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Zimmermann09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Zimmermann09
Ernst Zimmermann:
Predicate Logical Extensions of some Subintuitionistic Logics. 131-138
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Cook09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Cook09
Roy Cook:
Book Reviews. 139-144

Volume 91, Number 2, March 2009

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/AlberucciF09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/AlberucciF09
Luca Alberucci, Alessandro Facchini:
On Modal µ -Calculus and Gödel-Löb Logic. 145-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Almeida09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Almeida09
Agostinho Almeida:
Canonical Extensions and Relational Representations of Lattices with Negation. 171-199
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Kozak09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Kozak09
Michal Kozak:
Distributive Full Lambek Calculus Has the Finite Model Property. 201-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Kamide09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Kamide09
Norihiro Kamide:
Proof Systems Combining Classical and Paraconsistent Negations. 217-238
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Hsiung09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Hsiung09
Ming Hsiung:
Jump Liars and Jourdain's Card via the Relativized T-scheme. 239-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/AvronK09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/AvronK09
Arnon Avron, Beata Konikowska:
Proof Systems for Reasoning about Computation Errors. 273-293

Volume 91, Number 3, April 2009

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/ShramkoW09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/ShramkoW09
Yaroslav Shramko, Heinrich Wansing:
Editorial Introduction. Truth Values: Part I. 295-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Belnap09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Belnap09
Nuel Belnap:
Truth Values, Neither-true-nor-false, and Supervaluations. 305-334
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Fitting09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Fitting09
Melvin Fitting:
How True It Is = Who Says It's True. 335-366
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Hajek09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Hajek09
Petr Hájek:
On Vagueness, Truth Values and Fuzzy Logics. 367-382
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Font09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Font09
Josep Maria Font:
Taking Degrees of Truth Seriously. 383-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/Odintsov09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/Odintsov09
Sergei P. Odintsov:
On Axiomatizing Shramko-Wansing's Logic. 407-428
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sLogica/ShramkoW09a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sLogica/ShramkoW09a
Yaroslav Shramko, Heinrich Wansing:
The Slingshot Argument and Sentential Identity. 429-455