Finite axiomatization for some intermediate logics

Studia Logica 39 (4):415-423 (1980)
  Copy   BIBTEX

Abstract

LetN. be the set of all natural numbers, and letD n * = {k N k|n} {0} wherek¦n if and only ifn=k.x f or somexN. Then, an ordered setD n * = D n *, n, wherex ny iffx¦y for anyx, yD n *, can easily be seen to be a pseudo-boolean algebra.In [5], V.A. Jankov has proved that the class of algebras {D n * nB}, whereB =, {k N is finitely axiomatizable

Categories

Keywords

Reprint years

DOI

10.1007/bf00713551

Links

PhilArchive



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

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

On the predicate logics of finite Kripke frames.D. Skvortsov - 1995 - Studia Logica 54 (1):79-88.
On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
Finite Model Property in Weakly Transitive Tense Logics.Minghui Ma & Qian Chen - 2023 - Studia Logica 111 (2):217-250.
On modal logics between K × K × K and $s5 \times s5 \times s5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
Numbers as Ordered Pairs.John-Michael Kuczynski - 2018
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
P01 INCOMPLETENESS: finite set equations.Harvey M. Friedman - unknown
On sets not belonging to algebras.L. Š Grinblat - 2007 - Journal of Symbolic Logic 72 (2):483-500.
Highly saturated packings and reduced coverings.Tóth Gabor Fejes, Kuperberg Greg & Kuperberg Włodzimierz - unknown
Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.

Analytics

Added to PP
2009-01-28

Downloads
31 (#504,102)

6 months
8 (#505,340)

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

The decidability of certain intermediate propositional logics.C. G. Mckay - 1968 - Journal of Symbolic Logic 33 (2):258-264.

Add more references