Up a level |
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine (2023). Residuated Structures in Algebra and Logic. Mathematical Surveys and Monographs: Vol. 277. American Mathematical Society
Metcalfe, George; Tsinakis, Constantine (2017). Density revisited. Soft computing, 21(1), pp. 175-189. Springer 10.1007/s00500-016-2420-7
Van Gool, Samuel Jacob; Metcalfe, George; Tsinakis, Constantine (2017). Uniform Interpolation and Compact Congruences. Annals of pure and applied logic, 168(10), pp. 1927-1948. Elsevier 10.1016/j.apal.2017.05.001
Gil Férez, José; Ledda, Antonio; Tsinakis, Constantine (2017). Hulls of ordered algebras: projectability, strong projectability and lateral completeness. Journal of algebra, 483, pp. 429-474. Elsevier 10.1016/j.jalgebra.2017.04.005
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine (2014). Amalgamation and interpolation in ordered algebras. Journal of algebra, 402, pp. 21-82. Elsevier 10.1016/j.jalgebra.2013.11.019
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine (2010). Ordered Algebras and Logic. In: Hykel, Hosni; Montagna, Franco (eds.) Probability, Uncertainty and Rationality. Publications of the Scuola Normale Superiore: Vol. 10 (pp. 3-83). Pisa: Edizioni della Normale - Scuola Normale Superiore
Kuznets, Roman (2009). A Note on the Use of Sum in the Logic of Proofs. In: Drossos, Costas; , ; , ; Tsinakis, Constantine (eds.) Proceedings of the 7th Panhellenic Logic Symposium (pp. 99-103). Patras University Press