A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens

Mathematical Logic Quarterly 28 (22‐24):317-322 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820282202

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):317-322.
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Mathematical Logic Quarterly 32 (19‐24):323-330.
A generalisation of Slupecki's criterion for functional completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Mathematical Logic Quarterly 30 (9‐11):173-175.
Modus Ponens and Derivation from Horn Formulas.William Craig - 1967 - Mathematical Logic Quarterly 13 (3-5):33-54.
Lattice BCK logics with Modus Ponens as unique rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.
Rose Alan. An alternative generalisation of the concept of duality. Mathematische Annalen, vol. 147 , pp. 318–327.Gerald Standley - 1971 - Journal of Symbolic Logic 36 (4):690-691.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Rose Alan. The degree of completeness of the ℵ0-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 28 , pp. 176–184. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 , pp. 587–591. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.

Analytics

Added to PP
2013-12-01

Downloads
19 (#190,912)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references