default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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.
last updated on 2025-01-31 22:48 CET 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:
