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)|
References found in this work BETA
Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
Notes on the Axiomatics of the Propositional Calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
Citations of this work BETA
Similar books and articles
The Cultivation of Cosmopolitan Detachment in Comparative Law: The Hellenistic Contributions.Richard Brooks - unknown -
Independence of Two Nice Sets of Axioms for the Propositional Calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
On Detachment-Substitutional Formalization in Normal Modal Logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
The Simple Substitution Property of the Intermediate Propositional Logics on Finite Slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
Principal Type-Schemes and Condensed Detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
BCK and BCI Logics, Condensed Detachment and the $2$-Property. [REVIEW]J. Roger Hindley - 1993 - Notre Dame Journal of Formal Logic 34 (2):231-250.
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Branden Fitelson - manuscript -
A Simplified Form of Condensed Detachment.M. W. Bunder - 1995 - Journal of Logic, Language and Information 4 (2):169-173.
Added to index2009-01-28
Total downloads21 ( #226,125 of 2,132,903 )
Recent downloads (6 months)6 ( #128,831 of 2,132,903 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.