Remark on a finite axiomatization of finite intermediate propositional logics

Journal of Applied Non-Classical Logics 9 (2-3):381-386 (1999)
  Copy   BIBTEX

Abstract

ABSTRACT A simple method of axiomatizing every finite intermediate propositional logic by a finite set of axioms with the minimal number of variables is proposed. The method is based on Jankov's characteristic formulas

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.

Analytics

Added to PP
2013-12-01

Downloads
7 (#1,201,127)

6 months
1 (#1,040,386)

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

Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
On Intermediate Propositional Logics.Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-607.
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