


default search action
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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














