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

Links

PhilArchive



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

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.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
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.
Categorical Abstract Algebraic Logic: Referential π-Institutions.George Voutsadakis - 2015 - Bulletin of the Section of Logic 44 (1/2):33-51.
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
41 (#377,994)

6 months
4 (#1,005,419)

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