A Functional Calculus of First Order Based on Strict Implication
[N. P. (1946)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical | |||||||||
| Categories | ||||||||||
| Call number | BC135.M317 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesLeon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
C. I. Lewis (1936). Emch's Calculus and Strict Implication. Journal of Symbolic Logic 1 (3):77-86.
Ruth Barcan Marcus (1953). Strict Implication, Deducibility and the Deduction Theorem. Journal of Symbolic Logic 18 (3):234-236.
G. B. Keene (1964/1966). First-Order Functional Calculus. New York, Dover Publications.
Ruth C. Barcan (1947). The Identity of Individuals in a Strict Functional Calculus of Second Order. Journal of Symbolic Logic 12 (1):12-15.
Ruth C. Barcan (1946). The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (4):115-118.
Ruth C. Barcan (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (1):1-16.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-05-13Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
