Categorical abstract algebraic logic: referential algebraic semantics
From MaRDI portal
Publication:368473
DOI10.1007/s11225-013-9500-9zbMath1301.03072MaRDI QIDQ368473
Publication date: 23 September 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9500-9
duality; abstract algebraic logic; algebraic semantics; \(\pi \)-institution; congruential atlas systems; fully selfextensional logic; generalized matrix model; referential algebraic semantics; selfextensional logic; Wójcicki's theorem
Related Items