Zobrazeno 1 - 10
of 386
pro vyhledávání: '"Axiom of extensionality"'
Autor:
Rieger, Adam
Publikováno v:
Mind, 2000 Apr 01. 109(434), 241-253.
Externí odkaz:
https://www.jstor.org/stable/2660133
Autor:
Körner, Friederike
Publikováno v:
The Journal of Symbolic Logic, 1998 Sep 01. 63(3), 815-830.
Externí odkaz:
https://www.jstor.org/stable/2586714
Autor:
Antonelli, Gian Aldo
Publikováno v:
The Journal of Symbolic Logic, 1998 Mar 01. 63(1), 247-261.
Externí odkaz:
https://www.jstor.org/stable/2586599
Autor:
Yatabe, Shunsuke, Inaoka, Hiroyuki
Publikováno v:
Journal of Philosophical Logic, 2006 Aug 01. 35(4), 423-434.
Externí odkaz:
https://www.jstor.org/stable/30226870
Autor:
Cocchiarella, Nino B.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2002 Apr 01. 70(3), 303-338.
Externí odkaz:
https://www.jstor.org/stable/20016400
Autor:
Sam Sanders
Publikováno v:
Annals of Pure and Applied Logic. 170:427-445
Recently, a number of formal systems for Nonstandard Analysis restricted to the language of finite types, i.e. nonstandard arithmetic, have been proposed. We single out one particular system by Dinis–Gaspar, which is categorised by the authors as b
Autor:
Tye, Michael
Publikováno v:
Mind, 1990 Oct 01. 99(396), 535-557.
Externí odkaz:
https://www.jstor.org/stable/2255019
Autor:
Tye, Michael
Publikováno v:
Philosophical Perspectives, 1994 Jan 01. 8, 189-206.
Externí odkaz:
https://www.jstor.org/stable/2214170
Autor:
Boffa, M.
Publikováno v:
The Journal of Symbolic Logic, 1977 Jun 01. 42(2), 215-220.
Externí odkaz:
https://www.jstor.org/stable/2272122
Autor:
Prati, N.
Publikováno v:
The Journal of Symbolic Logic, 1994 Dec 01. 59(4), 1245-1253.
Externí odkaz:
https://www.jstor.org/stable/2275702