Some results for implicational calculi

Journal of Symbolic Logic 29 (1):33-39 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269766

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Postulates for implicational calculi.C. A. Meredith - 1966 - Journal of Symbolic Logic 31 (1):7-9.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
On the Non‐Existence of Finite Characteristic Models for Some Classes of Implicational Calculi.Biswambhar Pahi - 1974 - Mathematical Logic Quarterly 20 (8-12):113-119.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 , pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.

Analytics

Added to PP
2009-01-28

Downloads
29 (#764,401)

6 months
9 (#454,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.
On Hilbert algebras generated by the order.J. L. Castiglioni, S. A. Celani & H. J. San Martín - 2021 - Archive for Mathematical Logic 61 (1):155-172.
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.
On the variety of strong subresiduated lattices.Sergio Celani & Hernán J. San Martín - 2023 - Mathematical Logic Quarterly 69 (2):207-220.

Add more citations

References found in this work

Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references