Algebras and matrices for annotated logics

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

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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005203411722
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,952
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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.

Add more citations

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 index
2009-01-28

Total views
26 ( #332,628 of 2,266,403 )

Recent downloads (6 months)
2 ( #594,521 of 2,266,403 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature