Resolution in type theory
Journal of Symbolic Logic 36 (3):414-432 (1971)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
P. B. Andrews (1965). A Transfinite Type Theory with Type Variables. Amsterdam, North-Holland Pub. Co..
Laurens Mommers (2005). Legitimacy and the Virtualization of Dispute Resolution. Artificial Intelligence and Law 13 (2):207-232.
Christoph Benzmüller (2002). Comparing Approaches to Resolution Based Higher-Order Theorem Proving. Synthese 133 (1-2):203 - 235.
Alessandra Carbone (2006). Group Cancellation and Resolution. Studia Logica 82 (1):73 - 93.
Grigori Mints (1993). Resolution Calculus for the First Order Linear Logic. Journal of Logic, Language and Information 2 (1):59-83.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,748 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
