On a coalgebraic view on Logic
From MaRDI portal
Publication:2863171
DOI10.1093/logcom/exs063zbMath1286.03187arXiv1202.0915MaRDI QIDQ2863171
Manuel A. Martins, Dirk Hofmann
Publication date: 21 November 2013
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.0915
03G30: Categorical logic, topoi