Algebraic semantics for deductive systems
type: Item
instance of: scholarly article
title: Algebraic semantics for deductive systems
zbMATH Open document ID: 1049.03008
DOI: 10.1023/A:1024626023417
published in: Studia Logica
publication date: 2004-02-15T00:00:00Z
review text: The notion of an algebraic semantics (a.s.) was introduced, and the study of it was initiated, by \textit{W. J. Block} and \textit{D. Pigozzi} [Algebraizable logics. Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)]. It was shown there that a deductive system may have many different algebraic semantics, while a so-called equivalent a.s., if a deductive system has it at all, is essentially unique. A deductive system possessing an equivalent a.s. was said to be algebraizable. While the main subject of the monograph cited above was algebraizable systems and their equivalent semantics, the paper under review deals with the property of possessing an arbitrary a.s., which is much harder to capture. The paper begins with a detailed overview of some basic facts concerning the general concepts of a deductive system, an equational consequence relation, and an algebraic semantics. It is shown that any extension of a deductive system possessing an a.s. also has this property. Some necessary conditions for a deductive system to have an a.s. are established; using these, an example of a non-trivial protoalgebraic deductive system that has no a.s. is provided. The main theorem of the paper gives some sufficient condition for the existence of an a.s. It is used to demonstrate that various particular classes of deductive systems, even non-algebraizable, admit an a.s.
reviewed by: Jānis Cīrulis
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 08A60
zbMATH DE Number: 2042712
zbMATH Keywords: deductive system
zbMATH Keywords: equational consequence
zbMATH Keywords: matrix semantics
zbMATH Keywords: algebraic semantics
zbMATH Keywords: protoalgebraic logic
zbMATH Keywords: mono-unary algebra
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: linear logic
author: W. J. Blok
author: Jordi Rebagliato
MaRDI profile type: Publication
full work available at URL: a:1024626023417
OpenAlex ID: W1573560425
Recommended article: Algebraizable logics
Recommended article: Q4273420
Recommended article: Q3332227
Recommended article: Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
Recommended article: Q4250358
Recommended article: Q4250069
Recommended article: Q4727402
Recommended article: A perspective on the algebra of logic
Recommended article: Definitional equivalence and algebraizability of generalized logical systems
Recommended article: Q3684068
description: scientific article; zbMATH DE number 2042712