An example of strongly finite consequence operation with 2ℵ0 standard strengthenings

Studia Logica 39 (4):375 - 379 (1980)
  Copy   BIBTEX

Abstract

Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?

Categories

Keywords

Reprint years

DOI

10.1007/bf00713548

Other Versions

original Dziobiak, Wieslaw (1979) "An example of strongly finite consequence operation with continuum standard strengthenings". Bulletin of the Section of Logic 8(2):95-97

Links

PhilArchive



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

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

An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
An example of strongly finite consequence operation with continuum standard strengthenings.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
On strongly finite consequence operations.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
A strongly finite logic with infinite degree of maximality.Marek Tokarz - 1976 - Studia Logica 35 (4):447 - 451.
Strongly finite logics: finite axiomatizability and the problem of supremum.Piotr Wojtylak - 1979 - Bulletin of the Section of Logic 8 (2):99-111.
A Finite Base For The Consequence Operation.Pawel Idziak - 1983 - Bulletin of the Section of Logic 12 (2):76-80.
A calculus for the common rules of ∧ and ∨.Wolfgang Rautenberg - 1989 - Studia Logica 48 (4):531-537.
Note on generalized matrix semantics and the problem of supremum.Zbigniew Stachniak - 1988 - Bulletin of the Section of Logic 17 (2):82-86.

Analytics

Added to PP
2009-01-28

Downloads
42 (#531,688)

6 months
7 (#704,497)

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

On finitely based consequence operations.Andrzej Wroński - 1976 - Studia Logica 35 (4):453 - 458.

Add more references