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
Bezhanishvili, Nick; Colacito, Almudena; de Jongh, Dick (2019). A Study of Subminimal Logics of Negation and Their Modal Companions. In: Silva, Alexandra; Staton, Sam; Sutton, Peter; Umbach, Carla (eds.) International Tbilisi Symposium on Logic, Language, and Computation. Lecture Notes in Computer Science: Vol. 11456 (pp. 21-41). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-59565-7_2