Conference Proceedings

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


Awarded by Australian Research Council

Funding Acknowledgements

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.