Chu Spaces

2024-07-03

Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - Chu Spaces. Site created by Vaughan Pratt.

Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.

Chu Spaces