Publisher
Springer International Publishing
Reference58 articles.
1. Agliano, P. (1998). Ternary deduction terms in residuated structures. Acta Scientiarum Mathematicarum (Szeged), 64(3–4), 397–429.
2. Agliano, P. (2019). Varieties of BL-algebras III: Splitting algebras. Studia Logica.
3. Bellissima, F. (1988). Finite and finitely separable intermediate propositional logics. Journal of Symbolic Logic, 53(2), 403–420. https://doi.org/10.2307/2274513.
4. Berman, J., & Blok, W. J. (2004). Free łukasiewicz and hoop residuation algebras. Studia Logica, 77(2), 153–180. https://doi.org/10.1023/B:STUD.0000037125.49866.50.
5. Bezhanishvili, N. (2004). De Jongh’s characterization of intuitionistic propositional calculus. Liber Amicorum Dick de Jongh (pp. 1–10). ILLC University of Amsterdam.