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)|
|Through your library||Configure|
Similar books and articles
Richard Brooks, The Cultivation of Cosmopolitan Detachment in Comparative Law: The Hellenistic Contributions.
T. 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.
Branden Fitelson, Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #277,212 of 556,837 )
Recent downloads (6 months)0
How can I increase my downloads?