Stratified and positive comprehension seen as superclass rules over ordinary set theory

Mathematical Logic Quarterly 36 (6):519-534 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360605

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theories of types and names with positive stratified comprehension.Pierluigi Minari - 1999 - Studia Logica 62 (2):215-242.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.
Second-Order Positive Comprehension and Frege's Basic Law V.Liu Jingxian - 2012 - Frontiers of Philosophy in China 7 (3):367-377.
Stratified languages.A. Pétry - 1992 - Journal of Symbolic Logic 57 (4):1366-1376.
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
On a positive set theory with inequality.Giacomo Lenzi - 2011 - Mathematical Logic Quarterly 57 (5):474-480.
The consistency problem for positive comprehension principles.M. Forti & R. Hinnion - 1989 - Journal of Symbolic Logic 54 (4):1401-1418.
Reflections on the logic of rules.Peter Schotch - manuscript

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,029,505)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.

Add more citations

References found in this work

Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.
Non-Well-founded Sets.J. L. Bell - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
The consistency problem for positive comprehension principles.M. Forti & R. Hinnion - 1989 - Journal of Symbolic Logic 54 (4):1401-1418.

Add more references