Basic theory of functionality. Analogies with propositional algebra
In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia (1995)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| 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 | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesLars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
A. F. Lavrik (ed.) (1979). Twelve Papers in Logic and Algebra. American Mathematical Society.
Dirk Schlimm (2008). Two Ways of Analogy: Extending the Study of Analogies to Mathematical Domains. Philosophy of Science 75 (2):178-200.
M. Coppo & M. Dezani-Ciancaglini (1980). An Extension of the Basic Functionality Theory for the $\Lambda$-Calculus. Notre Dame Journal of Formal Logic 21 (4):685-693.
Tamar Lando (2012). Completeness of S4 for the Lebesgue Measure Algebra. Journal of Philosophical Logic 41 (2):287-316.
Mojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.
Nik Weaver (2007). Set Theory and C*-Algebras. Bulletin of Symbolic Logic 13 (1):1-20.
J. C. Abbott (1976). Orthoimplication Algebras. Studia Logica 35 (2):173 - 177.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
