Finite Logics and the simple substitution property

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
The simple substitution property of the intermediate propositional logics.Katsumi Sasaki - 1989 - Bulletin of the Section of Logic 18 (3):94-99.
Review: Tsutomu Hosoi, On Intermediate Logics. [REVIEW]A. S. Troelstra - 1971 - Journal of Symbolic Logic 36 (2):329-330.
Tsutomu Hosoi. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 , pp. 293–312, and vol. 16 , pp. 1–12. [REVIEW]A. S. Troelstra - 1971 - Journal of Symbolic Logic 36 (2):329-330.
Finite model property for some intuitionistic modal logics.Yasusi Hasimoto - 2001 - Bulletin of the Section of Logic 30 (2):87-97.
On classification of commutative BCK-logics'.Kazimiera Dyrda - 1985 - Bulletin of the Section of Logic 14 (1):30-32.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 , pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 , pp. 693–695. [REVIEW]Alfred Horn - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Hosoi Tsutomu. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 , pp. 223–230. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 1001–1006. [REVIEW]Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):505.

Analytics

Added to PP
2014-01-23

Downloads
25 (#150,191)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

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