Algebras and matrices for annotated logics

Studia Logica 65 (1):137-153 (2000)
  Copy   BIBTEX

Abstract

We study the matrices, reduced matrices and algebras associated to the systems SAT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SAT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a decision procedure for these logics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.

Analytics

Added to PP
2009-01-28

Downloads
36 (#385,000)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On free annotated algebras.Renato A. Lewin, Irene F. Mikenberg & Marı́a G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
On free annotated algebras.Renato Lewin, Irene Mikenberg & María Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.

Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.

Add more references