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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

Condensed detachment as a rule of inference.J. A. Kalman - 1983 - Studia Logica 42 (4):443 - 451.
D-complete Single Axioms for the Equivalential Calculus with the rules D and R.Marcin Czakon - 2024 - Bulletin of the Section of Logic 53 (4):479-489.
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2010 - Australasian Journal of Logic 8:1-8.
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
Deontic Logic with Defeasible Detachment.Xiaochang Yu - 1995 - Dissertation, University of Georgia
Meaning Detachment.Benoît de Cornulier - 1980 - John Benjamins Publishing.
Deontic detachment.Ingmar Porn - 1984 - Bulletin of the Section of Logic 13 (2):60-62.

Analytics

Added to PP
2009-01-28

Downloads
50 (#440,682)

6 months
6 (#879,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

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