On the Non‐Existence of Finite Characteristic Models for Some Classes of Implicational Calculi

Mathematical Logic Quarterly 20 (8-12):113-119 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740200802

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

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 Method For Proving The Non-existence Of Finite Characteristic Models For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):169-172.
Studies in Implicational Calculi.Biswambhar Pahi - 1966 - Dissertation, Yale University
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
A Theorem On The Interrelationship Of Axiom Systems For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):165-167.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
A Theorem on the Interrelationship of Axiom systems for Implicational Calculi.Biswambhar Pahi - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):165-167.
An unsolvable problem concerning implicational calculi.Biswambhar Pahi & Ralph C. Applebee - 1970 - Notre Dame Journal of Formal Logic 11 (2):200-202.
Completeness of implicational relevant logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
On the Existence of Finite Models and Decision Procedures for Propositional Calculi.R. Harrop - 1960 - Journal of Symbolic Logic 25 (2):180-181.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.

Analytics

Added to PP
2014-01-16

Downloads
29 (#546,764)

6 months
3 (#967,057)

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

New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.

Add more references