An algebraic investigation of Linear Logic.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 893, doi. 10.1007/s00153-025-00969-2
- By:
- Publication type:
- Article
Works by Aglianò, Paolo
Results: 9
1
2
Structurally complete finitary extensions of positive Łukasiewicz logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae118
- By:
- Publication type:
- Article
3
A short note on divisible residuated semilattices.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020, v. 24, n. 1, p. 259, doi. 10.1007/s00500-019-04348-x
- By:
- Publication type:
- Article
4
Almost minimal varieties of commutative residuated lattices.
- Published in:
- International Journal of Algebra & Computation, 2024, v. 34, n. 5, p. 807, doi. 10.1142/S0218196724500309
- By:
- Publication type:
- Article
5
On Freese's technique.
- Published in:
- International Journal of Algebra & Computation, 2023, v. 33, n. 8, p. 1599, doi. 10.1142/S0218196723500601
- By:
- Publication type:
- Article
6
Splittings in Subreducts of Hoops.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1155, doi. 10.1007/s11225-022-09997-y
- By:
- Publication type:
- Article
7
Strictly join irreducible varieties of residuated lattices.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 1, p. 32, doi. 10.1093/logcom/exab059
- By:
- Publication type:
- Article
8
|$\textsf{M}\textsf{T}\textsf{L}$|-algebras as rotations of basic hoops.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 5, p. 763, doi. 10.1093/logcom/exz005
- By:
- Publication type:
- Article
9
Varieties of BL-algebras I, revisited.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 1, p. 153, doi. 10.1007/s00500-016-2367-8
- By:
- Publication type:
- Article