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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

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.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
Axiomatic Method and Category Theory.Rodin Andrei - 2013 - Cham: Imprint: Springer.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
A study of intermediate propositional logics on the third slice.Tsutomu Hosoi & Isao Masuda - 1993 - Studia Logica 52 (1):15 - 21.
On Constructive Axiomatic Method.Andrei Rodin - unknown
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
A method to single out maximal propositional logics with the disjunction property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
A method to single out maximal propositional logics with the disjunction property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
Mathematical Discourse vs. Mathematical Intuition.Carlo Cellucci - 2005 - In Carlo Cellucci & Donald Gillies (eds.), Mathematical Reasoning and Heuristics. College Publications. pp. 137-165..
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini.Abir Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.

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