Ideals in the Two-Sorted Variety of Equational States. - Serafina Lapenta; Sebastiano Napolitano; Luca Spada (EUSFLAT/AGOP, 2023)

The logic {FP}({Ł. - Serafina Lapenta; Sebastiano Napolitano; Luca Spada (ISIPTA, 2023)