On strongly finite consequence operations

Bulletin of the Section of Logic 8 (2):87-92 (1979)
  Copy   BIBTEX

Abstract

First, we prove some theorem characterizing the niteness of degree of maximality of a strongly nite consequence operation and establish some results following from it. Second, we deal with the notion of strongly nite model property which was proposed by R. Wojcicki in [9]. The results presented in the paper came out after series of discussions which the author held with Prof. R. Wojcicki

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

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 2ℵ0 standard strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
Strongly finite logics: finite axiomatizability and the problem of supremum.Piotr Wojtylak - 1979 - Bulletin of the Section of Logic 8 (2):99-111.
Finite structural axiomatization of every finite-valued propositional calculus.Zdzis?aw Dywan - 1980 - Studia Logica 39 (1):1 - 4.
Quasi-strongly Finite Sentential Calculi.Zdzislaw Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.
On strongly finite consequence operations.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
An example of strongly finite consequence operation with continuum standard strengthenings.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
Theorie der Konsequenzoperationen und logische Unabhängigkeit.Christian Wallmann - 2010 - Kriterion - Journal of Philosophy 23 (1):5-23.
A theorem on strongly finite propositional calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
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.
Strongly determined types.Alexandre A. Ivanov & Dugald Macpherson - 1999 - Annals of Pure and Applied Logic 99 (1-3):197-230.
A Three Element Matrix Whose Consequence Operation Is Not Finitely Based.Andrzej Wronski - 1979 - Bulletin of the Section of Logic 8 (2):68-70.
On the depth of a consequence operation.Andrzej Wronski - 1977 - Bulletin of the Section of Logic 6 (3):96-101.

Analytics

Added to PP
2015-02-02

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

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.

Add more citations

References found in this work

No references found.

Add more references