 | Up a level |
Metcalfe, George; Tokuda, Naomi (2024). Deciding dependence in logic and algebra. In: Bezhanishvili, Nick; Iemhoff, Rosalie; Yang, Fan (eds.) Dick de Jongh on Intuitionistic and Provability Logics. Outstanding Contributions to Logic: Vol. 28 (pp. 155-173). Springer
Cintula, Petr; Metcalfe, George; Tokuda, Naomi (2022). Algebraic semantics for one-variable lattice-valued logics. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 237-257). College Publications
