Fazio, Davide; Ledda, Antonio; Paoli, Francesco; St. John, Gavin A substructural Gentzen calculus for orthomodular quantum logic. (English) Zbl 07786932 Rev. Symb. Log. 16, No. 4, 1177-1198 (2023). MSC: 03G12 03B47 PDFBibTeX XMLCite \textit{D. Fazio} et al., Rev. Symb. Log. 16, No. 4, 1177--1198 (2023; Zbl 07786932) Full Text: DOI
Fazio, D.; Ledda, A.; Paoli, F. Residuated structures and orthomodular lattices. (English) Zbl 1487.03074 Stud. Log. 109, No. 6, 1201-1239 (2021). Reviewer: Josef Tkadlec (Praha) MSC: 03G12 03D25 06C15 03G27 06B23 PDFBibTeX XMLCite \textit{D. Fazio} et al., Stud. Log. 109, No. 6, 1201--1239 (2021; Zbl 1487.03074) Full Text: DOI
Ledda, Antonio; Paoli, Francesco; Tsinakis, Constantine The Archimedean property: new horizons and perspectives. (English) Zbl 1522.06022 Algebra Univers. 79, No. 4, Paper No. 91, 30 p. (2018). MSC: 06D35 06F05 06F15 03G10 03B47 PDFBibTeX XMLCite \textit{A. Ledda} et al., Algebra Univers. 79, No. 4, Paper No. 91, 30 p. (2018; Zbl 1522.06022) Full Text: DOI
Salibra, Antonino; Ledda, Antonio; Paoli, Francesco Boolean product representations of algebras via binary polynomials. (English) Zbl 1459.06011 Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer. Outst. Contrib. Log. 16, 297-321 (2018). MSC: 06E75 08A05 08A30 08B05 PDFBibTeX XMLCite \textit{A. Salibra} et al., Outst. Contrib. Log. 16, 297--321 (2018; Zbl 1459.06011) Full Text: DOI Link
Salibra, Antonino; Ledda, Antonio; Paoli, Francesco Factor varieties. (English) Zbl 1420.08003 Soft Comput. 21, No. 6, 1443-1454 (2017). MSC: 08B05 08B10 PDFBibTeX XMLCite \textit{A. Salibra} et al., Soft Comput. 21, No. 6, 1443--1454 (2017; Zbl 1420.08003) Full Text: DOI Link
Gil-Férez, José; Ledda, Antonio; Tsinakis, Constantine Hulls of ordered algebras: projectability, strong projectability and lateral completeness. (English) Zbl 1423.06052 J. Algebra 483, 429-474 (2017). MSC: 06F05 06D35 06F15 03G10 03B47 08B15 PDFBibTeX XMLCite \textit{J. Gil-Férez} et al., J. Algebra 483, 429--474 (2017; Zbl 1423.06052) Full Text: DOI
Gil-Férez, José; Ledda, Antonio; Paoli, Francesco; Tsinakis, Constantine Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (English) Zbl 1345.06013 J. Pure Appl. Algebra 220, No. 10, 3514-3532 (2016). Reviewer: Afrodita Iorgulescu (Bucharest) MSC: 06F15 06D35 03B47 03G10 06B20 06F05 PDFBibTeX XMLCite \textit{J. Gil-Férez} et al., J. Pure Appl. Algebra 220, No. 10, 3514--3532 (2016; Zbl 1345.06013) Full Text: DOI
Ledda, Antonio; Paoli, Francesco; Tsinakis, Constantine Semi-linear varieties of lattice-ordered algebras. (English) Zbl 1327.06016 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 207-221 (2015). MSC: 06F25 08B10 08B05 03C05 03G10 03G25 PDFBibTeX XMLCite \textit{A. Ledda} et al., Outst. Contrib. Log. 6, 207--221 (2015; Zbl 1327.06016) Full Text: DOI
Chajda, Ivan; Ledda, Antonio; Paoli, Francesco Compatible idempotent terms in universal algebra. (English) Zbl 1315.08001 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 53, No. 2, 35-51 (2014). Reviewer: Anna Romanowska (Warsaw) MSC: 08A30 08A35 08B10 03C05 PDFBibTeX XMLCite \textit{I. Chajda} et al., Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 53, No. 2, 35--51 (2014; Zbl 1315.08001) Full Text: Link
Paoli, Francesco; Ledda, Antonio; Kowalski, Tomasz; Spinks, Matthew Quasi-discriminator varieties. (English) Zbl 1335.08004 Int. J. Algebra Comput. 24, No. 3, 375-411 (2014). MSC: 08B15 03C05 08A40 PDFBibTeX XMLCite \textit{F. Paoli} et al., Int. J. Algebra Comput. 24, No. 3, 375--411 (2014; Zbl 1335.08004) Full Text: DOI
Ledda, Antonio; Paoli, Francesco; Tsinakis, Constantine Lattice-theoretic properties of algebras of logic. (English) Zbl 1323.03096 J. Pure Appl. Algebra 218, No. 10, 1932-1952 (2014). Reviewer: Stefano Aguzzoli (Milano) MSC: 03G25 06F05 06D35 06F15 03G10 PDFBibTeX XMLCite \textit{A. Ledda} et al., J. Pure Appl. Algebra 218, No. 10, 1932--1952 (2014; Zbl 1323.03096) Full Text: DOI
Ledda, Antonio; Paoli, Francesco; Salibra, Antonino On semi-Boolean-like algebras. (English) Zbl 1335.06009 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 52, No. 1, 101-120 (2013). Reviewer: Anna Romanowska (Warsaw) MSC: 06E75 03C05 PDFBibTeX XMLCite \textit{A. Ledda} et al., Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 52, No. 1, 101--120 (2013; Zbl 1335.06009) Full Text: Link
Salibra, Antonino; Ledda, Antonio; Paoli, Francesco; Kowalski, Tomasz Boolean-like algebras. (English) Zbl 1284.06033 Algebra Univers. 69, No. 2, 113-138 (2013). Reviewer: Anna Romanowska (Warsaw) MSC: 06E75 08B05 PDFBibTeX XMLCite \textit{A. Salibra} et al., Algebra Univers. 69, No. 2, 113--138 (2013; Zbl 1284.06033) Full Text: DOI Link
Bou, Félix; Paoli, Francesco; Ledda, Antonio; Freytes, Hector On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. (English) Zbl 1127.06007 Soft Comput. 12, No. 4, 341-352 (2008). MSC: 06D35 PDFBibTeX XMLCite \textit{F. Bou} et al., Soft Comput. 12, No. 4, 341--352 (2008; Zbl 1127.06007) Full Text: DOI