scientific article
From MaRDI portal
Publication:3520841
zbMath1143.03356MaRDI QIDQ3520841
Andrzej Tarlecki, Răzvan Diaconescu, Joseph A. Goguen, Till Mossakowski
Publication date: 26 August 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Abstract model theory (03C95)
Related Items
Composition-nominative logics as institutions ⋮ On the universality of atomic and molecular logics via protologics ⋮ Deduction as reduction, from a categorical point of view ⋮ What is a logic translation? ⋮ Uncertainty, imprecision, and many-valued logics in protein bioinformatics
