David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 41 (2-3):173 - 179 (1982)
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||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
C. A. Meredith & A. N. Prior (1963). Notes on the Axiomatics of the Propositional Calculus. Notre Dame Journal of Formal Logic 4 (3):171-187.
Jan Łukasiewicz (1970). Selected Works. Amsterdam,North-Holland Pub. Co..
Citations of this work BETA
No citations found.
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. [REVIEW] 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.
Added to index2009-01-28
Total downloads15 ( #156,302 of 1,696,650 )
Recent downloads (6 months)11 ( #53,591 of 1,696,650 )
How can I increase my downloads?