Principal type-schemes and condensed detachment

&
Journal of Symbolic Logic 55 (1):90-105 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274956

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
A simplified form of condensed detachment.M. W. Bunder - 1995 - Journal of Logic, Language and Information 4 (2):169-173.
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 converse principal type-scheme theorem in lambda calculus.Sachio Hirokawa - 1992 - Studia Logica 51 (1):83 - 95.
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus.Branden Fitelson - manuscript
Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Ethical issues connected with multi-level marketing schemes.Daryl Koehn - 2001 - Journal of Business Ethics 29 (1-2):153 - 160.
The Cultivation of Cosmopolitan Detachment in Comparative Law: The Hellenistic Contributions.Richard Brooks - unknown
Condensed detachment as a rule of inference.J. A. Kalman - 1983 - Studia Logica 42 (4):443 - 451.

Analytics

Added to PP
2009-01-28

Downloads
44 (#364,497)

6 months
11 (#248,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
A simplified form of condensed detachment.M. W. Bunder - 1995 - Journal of Logic, Language and Information 4 (2):169-173.
Propositional glue and the projection architecture of LFG.Avery D. Andrews - 2010 - Linguistics and Philosophy 33 (3):141-170.
Weaker D-Complete Logics.Norman Megill & Martin Bunder - 1996 - Logic Journal of the IGPL 4 (2):215-225.

View all 8 citations / Add more citations

References found in this work

Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
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.
Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Mathematical Logic Quarterly 9 (12‐15):219-228.
Investigations into implicational s5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13‐17):203-220.

View all 14 references / Add more references