- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Only published works are available at libraries.
My notes
Similar books and articles
A note on the normal form of closed formulas of interpretability logic.Petr Hájek & Vítězslav Švejdar - 1991 - Studia Logica 50 (1):25 - 28.
Dominating and unbounded free sets.Slawomir Solecki & Otmar Spinas - 1999 - Journal of Symbolic Logic 64 (1):75-80.
Syntactical truth predicates for second order arithmetic.Loïc Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
Some applications of ordinal dimensions to the theory of differentially closed fields.Wai Yan Pong - 2000 - Journal of Symbolic Logic 65 (1):347-356.
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.
Ultrafilters generated by a closed set of functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
Analytics
Added to PP
2010-07-27
Downloads
27 (#594,123)
6 months
2 (#1,206,727)
2010-07-27
Downloads
27 (#594,123)
6 months
2 (#1,206,727)
Historical graph of downloads
Citations of this work
Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica (Special Issue: Frontiers of Conn):1-29.
Complement-Topoi and Dual Intuitionistic Logic.Luis Estrada-González - 2010 - Australasian Journal of Logic 9:26-44.
Hegel of the gaps? Truth, falsity and conjunction in Hegelian contradictions.Luis Estrada-González - 2024 - Asian Journal of Philosophy 3 (1):1-13.
On the validity of the definition of a complement-classifier.Mariusz Stopa - 2020 - Philosophical Problems in Science 69:111-128.
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo