- 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
Levels of implication and type free theories of classifications with approximation operator
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141 (1992)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.
A Study in Paradoxes and Type-Free Theories.Inkyo Chung - 1990 - Dissertation, University of Minnesota
Self-turbulence in the motion of a free particle.G. Sivashinsky - 1978 - Foundations of Physics 8 (9-10):735-744.
Structuralist logic: Implications, inferences, and consequences. [REVIEW]Arnold Koslow - 2007 - Logica Universalis 1 (1):167-181.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.Gerhard Jäger & Dieter Probst - 2011 - Annals of Pure and Applied Logic 162 (8):647-660.
Review: Solomon Feferman, Toward Useful Type-Free Theories I. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
Type-theoretic interpretation of iterated, strictly positive inductive definitions.Erik Palmgren - 1992 - Archive for Mathematical Logic 32 (2):75-99.
Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.
The semantics of scandinavian free choice items.Kjell Johan Saeboe - 2001 - Linguistics and Philosophy 24 (6):737-788.
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
Analytics
Added to PP
2016-02-04
Downloads
36 (#446,058)
6 months
5 (#648,432)
2016-02-04
Downloads
36 (#446,058)
6 months
5 (#648,432)
Historical graph of downloads
Author's Profile
Citations of this work
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Second order theories with ordinals and elementary comprehension.Gerhard Jäger & Thomas Strahm - 1995 - Archive for Mathematical Logic 34 (6):345-375.
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.
Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.
References found in this work
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Frege structures and the notions of truth and proposition.P. Aczel - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
Levels of implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 179--185.
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-pqwqt uwo