- 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
Progress report on generalized functionality
Annals of Mathematical Logic 17 (1):29 (1979)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Generalized Quantum Theory: Overview and Latest Developments. [REVIEW]Thomas Filk & Hartmann Römer - 2011 - Axiomathes 21 (2):211-220.
Generalized Empirical Method: is it needed?Robert Henman - 2014 - Dialogues in Philosophy, Mental and Neuro Sciences 7 (1):32-33.
Supervaluationism: Truth, Value and Degree Functionality.Pablo Cobreros & Luca Tranchini - 2014 - Thought: A Journal of Philosophy 3 (2):136-144.
On Truth-Functionality.Daniel J. Hill & Stephen K. Mcleod - 2010 - Review of Symbolic Logic 3 (4):628-632.
Human's functionality and discourse in islamic revolution of iran (explaining human's functionality in society and it's changes from may 1997 to may 2010). [REVIEW]Nazari Hassan Sadighi Behrang - 2011 - Social Research (Islamic Azad University Roudehen Branch) 4 (12):117-141.
Generalized Quantifiers and Measure Theory.Charles William Kurtz - 1996 - Dissertation, Syracuse University
Generalized Halfspaces in the Mixed-Integer Realm.Philip Scowcroft - 2009 - Notre Dame Journal of Formal Logic 50 (1):43-51.
The Enlightenment Programme and Karl Popper.Nicholas Maxwell - 2006 - In I. I. Jarvie, K. Milford & D. Miller (eds.), Karl Popper: A Centenary Assessment. Volume 1: Life and Times, Values in a World of Facts. Ashgate.
The Organ‐That‐Must‐Not‐Be‐Named: Female Genitals and Generalized References.Sarah B. Rodriguez & Toby L. Schonfeld - 2012 - Hastings Center Report 42 (3):19-21.
Natural language, sortal reducibility and generalized quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Generalized equivalence: A pattern of mathematical expression.T. A. McKee - 1985 - Studia Logica 44 (3):285 - 289.
The hierarchy theorem for generalized quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
Analytics
Added to PP
2014-01-17
Downloads
22 (#688,104)
6 months
2 (#1,263,261)
2014-01-17
Downloads
22 (#688,104)
6 months
2 (#1,263,261)
Historical graph of downloads
Citations of this work
A weak absolute consistency proof for some systems of illative combinatory logic.M. W. Bunder - 1983 - Journal of Symbolic Logic 48 (3):771-776.
Meeting of the association for symbolic logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Comparing cubes of typed and type assignment systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
Variants of the basic calculus of constructions.M. W. Bunder & Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):191-217.
References found in this work
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
A sequent calculus for type assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.
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-7c76586df8-pp8v9 uwo