A theorem of the degree of complexity of some sentential logics

&
Bulletin of the Section of Logic 9 (2):67-69 (1980)
  Copy   BIBTEX

Abstract

x1. This paper is a contribution to matrix semantics for sentential logics as presented in Los and Suszko [1] and Wojcicki [3], [4]. A generalization of Lindenbaum completeness lemma says that for each sentential logic there is a class K of matrices of the form such that the class is adequate for the logic, i.e., C = CnK

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,756

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 degree of matrix complexity.Jacek Hawranek - 1984 - Bulletin of the Section of Logic 13 (2):50-52.
Notes on the semantics for the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1983 - Bulletin of the Section of Logic 12 (4):152-155.
Some examples concerning uniformity and complexity of sentential logics.Jacek Hawranek - 1980 - Bulletin of the Section of Logic 9 (2):71-72.
On the degree of complexity of sentential logics. A couple of examples.Jacek Hawranek & Jan Zygmunt - 1981 - Studia Logica 40 (2):141 - 153.
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.Jacek Hawranek - 1987 - Studia Logica 46 (4):283 - 289.
Sentential logics and Maehara interpolation property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
Filter distributive logics.Janusz Czelakowski - 1984 - Studia Logica 43 (4):353 - 377.

Analytics

Added to PP
2014-02-19

Downloads
49 (#502,120)

6 months
6 (#745,101)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Add more references