Note on generalized matrix semantics and the problem of supremum

Bulletin of the Section of Logic 17 (2):82-86 (1988)
  Copy   BIBTEX

Abstract

In [7] Wojtylak showed that the supremum of a finite collection of strongly finite logics is not necessarily strongly finite, putting to an end the dispute concerning the underlying algebraic structure of the set of all strongly finite logics defined on a propositional language. In this paper we prove that Wojtylak’s result extends to a wider class of propositional logics defined by finite sets of finite matrices with admissible valuations

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Strongly finite logics: finite axiomatizability and the problem of supremum.Piotr Wojtylak - 1979 - Bulletin of the Section of Logic 8 (2):99-111.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
On the Construction of Matrices Strongly Adequate for Pre-finite Logics.Ewa Graczynska & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):15-17.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
Matrix characterisation of the hierarchy FiCn of bivaluated logics.Víctor Fernández & Gabriela Eisenberg - 2024 - Journal of Applied Non-Classical Logics 35 (1):46-67.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.

Analytics

Added to PP
2014-01-24

Downloads
24 (#914,270)

6 months
5 (#1,053,842)

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

No references found.

Add more references