Publisher
Springer International Publishing
Reference41 articles.
1. Bacsich, P. D. (1975). Amalgamation properties and interpolation theorem for equational theories. Algebra Universalis, 5, 45–55.
2. Blok, W. J. (1976). Varieties of interior algebras, Ph.D. thesis, University of Amsterdam.
3. Chagrov, A., & Zakharyaschev, M. (1997). Modal Logic. Oxford: Clarendon Press.
4. Citkin, A. (2008). A mind of non-countable set of ideas. Logic and Logical Philosophy, 17, 23–39.
5. Craig, W. (1957). Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, 22, 269–285.