A simplified form of condensed detachment

Journal of Logic, Language and Information 4 (2):169-173 (1995)
  Copy   BIBTEX

Abstract

This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation.

Categories

Keywords

Reprint years

DOI

10.1007/bf01048619

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
Condensed detachment as a rule of inference.J. A. Kalman - 1983 - Studia Logica 42 (4):443 - 451.
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus.Branden Fitelson - manuscript
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.
The Cultivation of Cosmopolitan Detachment in Comparative Law: The Hellenistic Contributions.Richard Brooks - unknown
On the 'emptiness' of particles in condensed-matter physics.L. Q. English - 2006 - Foundations of Science 12 (2):155-171.
Condensed Matter Physics.Jonathan Bain - manuscript
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.

Analytics

Added to PP
2009-01-28

Downloads
40 (#396,386)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
Weaker D-Complete Logics.Norman Megill & Martin Bunder - 1996 - Logic Journal of the IGPL 4 (2):215-225.

Add more citations

References found in this work

Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.
Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.

Add more references