Finite Logics and the simple substitution property

Bulletin of the Section of Logic 19 (3):74-78 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Axiomatic Method and the Algebraic Method for Dealing with Propositional Logics.Tsutomo Hosoi - 1967 - Journal of the Faculty of Sciences, University of Tokyo Section 1 14:131--169.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

On N -Contractive Fuzzy Logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Remark on a Finite Axiomatization of Finite Intermediate Propositional Logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
The Finite Model Property for Semilinear Substructural Logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
Prefinitely Axiomatizable Modal and Intermediate Logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.

Analytics

Added to PP index
2014-01-23

Total views
16 ( #523,732 of 2,266,099 )

Recent downloads (6 months)
1 ( #855,138 of 2,266,099 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature