default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 96
Volume 96, Number 1, October 2010
- Galym Akishev
, Robert Goldblatt:
Monadic Bounded Algebras. 1-40 - Robert Goldblatt:
Functional Monadic Bounded Algebras. 41-48 - David Isles:
First-Order Reasoning and Primitive Recursive Natural Number Notations. 49-64 - Sergei P. Odintsov:
Priestley Duality for Paraconsistent Nelson's Logic. 65-93 - Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz:
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. 95-108 - Victor N. Krivtsov:
An Intuitionistic Completeness Theorem for Classical Predicate Logic. 109-115 - Martin Mose Bentzen:
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic. 117-124
Volume 96, Number 2, November 2010
- André Fuhrmann, Manfred Kupffer:
Editorial. 125-126 - Alan Baker:
No Reservations Required? Defending Anti-Nominalism. 127-139 - Ivan Kasa:
On Field's Epistemological Argument Against Platonism. 141-147 - Rafal Urbaniak:
Neologicist Nominalism. 149-173 - Davide Rizza:
Discernibility by Symmetries. 175-192 - Martin Pleitz:
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs. 193-218 - Michael Gabbay:
A Formalist Philosophy of Mathematics Part I: Arithmetic. 219-238 - Andrew David Irvine:
Frege on Number Properties. 239-260 - Marianna Antonutti Marfori:
Informal Proofs and Mathematical Rigour. 261-272 - Norma B. Goethe, Michèle Friend:
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. 273-288 - Massimiliano Carrara, Enrico Martino:
To Be is to Be the Object of a Possible Act of Choice. 289-313 - Francesca Boccuni:
Plural Grundgesetze. 315-330
Volume 96, Number 3, December 2010
- Norbert Gratzl:
A Sequent Calculus for a Negative Free Logic. 331-348 - Yehuda Schwartz, George Tourlakis:
On the Proof-Theory of two Formalisations of Modal First-Order Logic. 349-373 - Eduardo Alejandro Barrio:
Theories of Truth without Standard Models and Yablo's Sequences. 375-391 - Roberto Ciuni, Alberto Zanardo:
Completeness of a Branching-Time Logic with Possible Choices. 393-420 - Jie Fang, Lei-Bo Wang:
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean. 421-431 - Philip D. Welch:
Book Reviews. 433-440
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-08 20:20 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:
