geometric logic - Robuta Search

https://arxiv.org/abs/1903.08837 [1903.08837] Coalgebraic Geometric Logic: Basic Theory Abstract page for arXiv paper 1903.08837: Coalgebraic Geometric Logic: Basic Theory geometric logic 1903 08837 basic theory