Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras

Logica Universalis 16 (1):355-380 (2022)
  Copy   BIBTEX

Abstract

We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe quite extensively the relationships among the algebraic and order-theoretic constructions and the corresponding ones based on a purely logical approach.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-022-00303-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
The failure of strong amalgamation property in certain classes of BCK-algebras.Katarzyna Palasinska - 1987 - Bulletin of the Section of Logic 16 (4):176-179.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
The class of polyadic algebras has the super amalgamation property.Tarek Sayed Ahmed - 2010 - Mathematical Logic Quarterly 56 (1):103-112.
On Amalgamation in Algebras of Logic.Tarek Sayed Ahmed - 2005 - Studia Logica 81 (1):61-77.
Amalgamation in varieties of pseudo-interior algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
Amalgamation in Varieties of Pseudo-interior Algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431-443.
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.
Classes of algebras without the amalgamation property.Tarek Ahmed - 2011 - Logic Journal of the IGPL 19 (1):87-104.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk - 1983 - Bulletin of the Section of Logic 12 (3):105-108.

Analytics

Added to PP
2022-03-08

Downloads
14 (#995,076)

6 months
8 (#370,225)

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

Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.

View all 12 references / Add more references