Reflections on an extensionality theorem
Notre Dame Journal of Formal Logic 21 (1):45-50 (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesChristoph Benzmüller (2002). Comparing Approaches to Resolution Based Higher-Order Theorem Proving. Synthese 133 (1-2):203 - 235.
Christoph Benzmüller, Chad E. Brown & Michael Kohlhase (2004). Higher-Order Semantics and Extensionality. Journal of Symbolic Logic 69 (4):1027 - 1088.
Daniel Dzierzgowski (1998). Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Studia Logica 61 (3):417-428.
Anna Wójtowicz (2005). Zasada ekstensjonalności lokalnej i globalnej. Filozofia Nauki 2.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
FangWen Yuan (2008). Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem. Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Shunsuke Yatabe & Hiroyuki Inaoka (2006). On Evans's Vague Object From Set Theoretic Viewpoint. Journal of Philosophical Logic 35 (4):423 - 434.
David B. Hershenov (2008). Lowe's Defence of Constitution and the Principle of Weak Extensionality. Ratio 21 (2):168–181.
Roland Hinnion & Thierry Libert (2003). Positive Abstraction and Extensionality. Journal of Symbolic Logic 68 (3):828-836.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
