Studia Logica
, Volume 68
Volume 68, Number 1, June 2001
Volker Halbach
:
Editorial Introduction.
3-20
Benedikt Löwe
,
Philip D. Welch
:
Set-Theoretic Absoluteness and the Revision Theory of Truth.
21-41
Maricarmen Martínez
:
Some Closure Properties of Finite Definitions.
43-68
Hannes Leitgeb
:
Theories of Truth Which Have No Standard Models.
69-87
Michael Sheard
:
Weak and Strong Theories of Truth.
89-101
Reinhard Kahle
:
Truth in Applicative Theories.
103-128
Petr Hájek
:
Fuzzy Logic and Arithmetical Hierarchy III.
129-142
Franco Montagna
:
Three Complexity Problems in Quantified Fuzzy Logic.
143-152
Volume 68, Number 2, July 2001
Robert Goldblatt
:
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.
155-171
Gerard Allwein
,
Wendy MacCaull
:
A Kripke Semantics for the Logic of Gelfand Quantales.
173-228
Tarek Sayed Ahmed
,
István Németi
:
On Neat Reducts of Algebras of Logic.
229-262
Mojtaba Aghaei
,
Mohammad Ardeshir
:
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.
263-285
Volume 68, Number 3, August 2001
Anatolij Dvurecenskij
:
States on Pseudo MV-Algebras.
301-327
Branden Fitelson
,
Larry Wos
:
Finding Missing Proofs with Automated Reasoning.
329-356
C. F. M. Vermeulen
:
A Calculus of Substitutions for DPL.
357-387
Last update Tue May 21 19:37:16 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page