Abstract
In the preceding chapter, we introduced and investigated at some length several classes of algebraic structures, claiming that there exists a correspondence between the diagram of logics in Table 2.2 and the diagram of algebras in Table 5.1. Our present task will be to show that our claim was sound. In fact, we shall prove completeness theorems for most of the Hilbert-style calculi of Chapter 2 using the algebraic structures of Chapter 5. Subsequently, we shall see that — at least in some cases — such classes of structures are even too large for our purposes: due to the representation results of Chapter 5, in fact, the theorems of the logics at issue coincide with the formulae which are valid in a smaller (and usually much easier to tinker with) class of structures. In a few lucky cases, it will be sufficient to consider a single manageable structure, just as it happens for classical logic (even though this structure may not be just as simple and wieldy). Finally, we shall quickly browse through some applications of algebraic semantics to the solution of purely syntactical problems concerning our substructural calculi.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Notes
Yet Meyer and Slaney, who published an independent proof of the latter result in the same year, should be awarded a chronological priority, since a typescript of their proof was already circulating in the early 1980’s.
Ursini (1995) develops both an algebraic and a phase semantics for linear logic with exponentials using structures which are not necessarily complete as lattices.
A patent abuse of language is being committed here. By saying that S has the single model property, of course, we do not mean that it is enough to consider a single model of a certain kind in order to check whether a formula is S-provable, but that it suffices to focus on all models on a single structure.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Paoli, F. (2002). Algebraic Semantics. In: Substructural Logics: A Primer. Trends in Logic, vol 13. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3179-9_6
Download citation
DOI: https://doi.org/10.1007/978-94-017-3179-9_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6014-3
Online ISBN: 978-94-017-3179-9
eBook Packages: Springer Book Archive