You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

Peter Schroeder-Heister

Peter Schroeder-Heister authored the following 1 source, containing a total of 0 diagrams.: Schroeder-Heister, Peter. 2012. “Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition.” In The Square of Opposition. A General Framework for Cognition, edited by Jean-Yves Beziau and Gillman Payette, 323–349. Bern: Peter Lang. (0 diagrams)

Go to source page >>