Non-triviality Done Proof-Theoretically
Rohan French, Shawn Standefer, A Baltag (ed.), J Seligman (ed.), T Yamada (ed.)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 2017
Related Projects (1)
Awarded by Australian Research Council
We would like to thank the members of audiences at the Otago Logic Seminar and the Australasian Association for Logic Conference 2016 for feedback on this material. Shawn Standefer's research was supported by the Australian Research Council, Discovery Grant DP150103801.