On the axiomatic method and the algebraic method for dealing with propositional logics

Journal of the Faculty of Sciences, University of Tokyo Section 1 14:131--169 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

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.
On intermediate Logics I.Tsutomo Hosoi - 1967 - Journal of the Faculty of Sciences, University of Tokyo Section 1 14:293--312.
The axiomatization of the intermediate propositional systems S2 of Godel.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 13:183--187.
The separation theorem on the classical system.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 12:223--230.
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.
A study of intermediate propositional logics on the third slice.Tsutomu Hosoi & Isao Masuda - 1993 - Studia Logica 52 (1):15 - 21.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.Jinzhao Wu, Hongyan Tan & Yongli Li - 1998 - Journal of Applied Non-Classical Logics 8 (4):353-360.
The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
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.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Finite Logics and the simple substitution property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.

Add more citations

References found in this work

No references found.

Add more references