Resolution and the consistency of analysis
Notre Dame Journal of Formal Logic 15 (1):73-84 (1974)
| 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,709 |
| 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.
Liang Li, Tian Liu & Ke Xu (2013). Variable-Centered Consistency in Model RB. Minds and Machines 23 (1):95-103.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
Allan Bäck (1998). Scotus on the Consistency of the Incarnation and the Trinity. Vivarium 36 (1):83-107.
Alessandra Carbone (2006). Group Cancellation and Resolution. Studia Logica 82 (1):73 - 93.
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Frederik Herzberg (2013). The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. Erkenntnis 78 (2):371-382.
Kevin Knight (2002). Measuring Inconsistency. Journal of Philosophical Logic 31 (1):77-98.
Paul M. Smith (2006). The Application of Critical Discourse Analysis in Environmental Dispute Resolution. Ethics, Place and Environment 9 (1):79 – 100.
Brian Ribeiro & Scott Aikin (2009). A Consistency Challenge for Moral and Religious Beliefs. Teaching Philosophy 32 (2):127-151.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #202,107 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
