Categorical abstract algebraic logic: models of \(\pi\)-institutions

From MaRDI portal
Publication:817965

DOI10.1305/ndjfl/1134397662zbMath1089.03058OpenAlexW1971410956MaRDI QIDQ817965

George Voutsadakis

Publication date: 23 March 2006

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1134397662




Related Items (11)



Cites Work


This page was built for publication: Categorical abstract algebraic logic: models of \(\pi\)-institutions