Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity
Joanna Golińska−Pilarek‚ Michał Zawidzki and Taneli Huuskonen
Address
Cham
Book Title
Automated Deduction – CADE 28. CADE 2021
Editor
André Platzer‚ Geoff Sutcliffe
Pages
41−57
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
12699
Year
2021