On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models

Mathematical Logic Quarterly 17 (1):137-143 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170119

Other Versions

No versions found

Links

PhilArchive



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

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

R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
A Method For Proving The Non-existence Of Finite Characteristic Models For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):169-172.
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.
Sentences with finite models.C. J. Ash - 1975 - Mathematical Logic Quarterly 21 (1):401-404.
Arithmetic of Divisibility in Finite Models.Andrzej Mostowski - 2004 - Mathematical Logic Quarterly 50:169-174.
Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
The Cardinality of the set of Dedekind Finite Cardinals in Fraenkel‐Mostowski Models.Arthur L. Rubin & Jean E. Rubin - 1974 - Mathematical Logic Quarterly 20 (31-33):517-528.
Fagin Ronald. Probabilities on finite models.W. Taylor - 1985 - Journal of Symbolic Logic 50 (4):1073-1076.
Harrop R.. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 , pp. 1–13. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
A note on equality in finite‐type arithmetic.Benno van den Berg - 2017 - Mathematical Logic Quarterly 63 (3-4):282-288.

Analytics

Added to PP
2013-11-24

Downloads
49 (#449,543)

6 months
10 (#415,916)

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

The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.

Add more references