R-Calculus, II: Many-Valued Logics 9789811692949, 9789811692932, 9811692947

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one no

112 31 29MB

English Pages 281 Year 2022

Report DMCA / Copyright

DOWNLOAD FILE

R-Calculus, II: Many-Valued Logics
 9789811692949, 9789811692932, 9811692947

Polecaj historie