default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 62
Volume 62, Number 1, January 1999
- Judit X. Madarász:
Interpolation and Amalgamation; Pushing the Limits. Part II. 1-19 - Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras Part II: Duality Theory. 21-48 - Heinrich Wansing
:
Predicate Logics on Display. 49-75 - Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas:
Prolegomena of a Logic of Causality and Dynamism. 77-105
Volume 62, Number 2, March 1999
- Maria Luisa Dalla Chiara, Daniele Mundici:
Preface. 117-120 - Fabio Bellissima, Saverio Cittadini:
Finite Trees in Tense Logic. 121-140 - Andrea Cantini:
Relating Quine's NF to Feferman's EM. 141-162 - Giovanna Corsi:
Bull's Theorem by the Method of Diagrams. 163-176 - Stéphane Demri, Ewa Orlowska:
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. 177-200 - Annalisa Marcja, Carlo Toffalori:
On the Elementarity of Some Classes of Abelian-by-Infinite Groups. 201-213 - Pierluigi Minari:
Theories of Types and Names with Positive Stratified Comprehension. 215-242 - Franco Montagna, Giulia Simi:
Paradigms in Measure Theoretic Learning and in Informant Learning. 243-268 - Giovanni Sambin:
Subdirectly Irreducible Modal Algebras and Initial Frames. 269-282 - Helmut Schwichtenberg:
Monotone Majorizable Functionals. 283-289 - A. S. Troelstra:
Marginalia on Sequent Calculi. 291-303 - Dirk van Dalen:
From Brouwerian Counter Examples to the Creating Subject. 305-314
Volume 62, Number 3, May 1999
- Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen:
Quantifiers and Congruence Closure. 315-340 - Mohammad Ardeshir:
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. 341-352 - Volker Halbach:
Conservative Theories of Classical Truth. 353-370 - Fabio Bellissima, Saverio Cittadini:
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. 371-398 - Benjamin Blankertz, Andreas Weiermann:
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. 399-427
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-04-27 18:04 CEST 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:
