A post-style poof of completeness theorem for symmetric relatedness logic S

Bulletin of the Section of Logic, Tom 47, Numer 3 (2018) s. 201-215
Mateusz Klonowski

 

do góry