Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 1540.03055
Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).