The two-property and condensed detachment
Studia Logica 41 (2-3):173 - 179 (1982)
| Abstract | In the first part of this paper we indicate how Meredith's condensed detachment may be used to give a new proof of Belnap's theorem that if every axiom x of a calculus S has the two-property that every variable which occurs in x occurs exactly twice in x, then every theorem of S is a substitution instance of a theorem of S which has the two-property. In the remainder of the paper we discuss the use of mechanical theorem-provers, based either on condensed detachment or on the resolution rule of J. A. Robinson, to investigate various calculi whose axioms all have the two-property. Particular attention is given to D-groupoids, i.e. sets of formulae which are closed under condensed detachment. | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesT. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Wieslaw Dziobiak (1977). On Detachment-Substitutional Formalization in Normal Modal Logics. Studia Logica 36 (3):165 - 171.
Katsumi Sasaki (1993). The Simple Substitution Property of the Intermediate Propositional Logics on Finite Slices. Studia Logica 52 (1):41 - 62.
Katsumi Sasaki (1990). The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's. Studia Logica 49 (4):471 - 481.
J. Roger Hindley & David Meredith (1990). Principal Type-Schemes and Condensed Detachment. Journal of Symbolic Logic 55 (1):90-105.
J. Roger Hindley (1993). BCK and BCI Logics, Condensed Detachment and the $2$-Property. Notre Dame Journal of Formal Logic 34 (2):231-250.
M. W. Bunder (1995). A Simplified Form of Condensed Detachment. Journal of Logic, Language and Information 4 (2):169-173.
J. A. Kalman (1983). Condensed Detachment as a Rule of Inference. Studia Logica 42 (4):443 - 451.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,212 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
