Algebrai módszerek a számítástudományban
Algebraic methods in Computer Science
Keywords:
decidability, interpolation, amalgamation, /, eldönthetőség, interpoláció, amalgamációAbstract
In this presentation, we will discuss the relationship between the interpolation (logical) property and (algorithmic) decidability, the connection between interpolation and (algebraic) amalgamation, and demonstrate the presence or absence of the amalgamation property in some algebraic structures that are significant in the field of substructural logics.
Kivonat
Az előadásban vázoljuk az eldönthetőség (algoritmikus tulajdonság) és az interpoláció (logikai tulajdonság) közötti kapcsolatot, az interpoláció és az amalgamáció (algebrai tulajdonság) közötti kapcsolatot, valamint bemutatjuk az amalgamációs tulajdonság jelenlétét vagy hiányát egyes algebrai struktúrában, amelyek jelentősek a szubstrukturális logikák területén.
References
Metcalfe, G., Montagna, F., Tsinakis C., “Amalgamation and interpolation in ordered algebras,” Journal of algebra, 402, (2014). pp. 21–82.
Metcalfe, G., Paoli, F., Tsinakis, C., “Residuated Structures in Algebra and Logic,” AMS, ISBN: 978-1-4704-6985-6
Jenei, S., “Amalgamation in classes of involutive commutative residuated lattices,” arXiv: 2012.14181
