Combinatorial systems with axiom

Notre Dame Journal of Formal Logic 14:354 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890999

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

Combinatorial systems with axiom.C. E. Hughes & W. E. Singletary - 1973 - Notre Dame Journal of Formal Logic 14 (3):354-360.
Awkward axiom-systems.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (2):315-320.
The inadequacy of Hughes and Cresswell's semantics for the ${\rm CI}$ systems.Zane Parks & Terry L. Smith - 1974 - Notre Dame Journal of Formal Logic 15 (2):331-332.
Two axiom systems for relation algebras.Chris Brink - 1979 - Notre Dame Journal of Formal Logic 20 (4):909-914.
Concerning the proper axiom for $S4.04$ and some related systems.R. I. Goldblatt - 1973 - Notre Dame Journal of Formal Logic 14 (3):392-396.
Erratum: ``Concerning the proper axiom for $S4.04$ and some related systems''.R. I. Goldblatt - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 301–310. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333.
A generalization of combinatorial operators.Anna Silverstein - 1978 - Notre Dame Journal of Formal Logic 19 (4):639-645.
Regressive functions and combinatorial functions.Carl E. Bredlau - 1967 - Notre Dame Journal of Formal Logic 8 (4):301-310.

Analytics

Added to PP
2017-02-20

Downloads
5 (#1,774,538)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
Sets derived by deterministic systems with axiom.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):71-80.

Add more citations

References found in this work

No references found.

Add more references