Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference35 articles.
1. Barbour G.D., Raftery J.G.: Quasivarieties of Logic, Regularity Conditions and Parameterized Algebrization. Studia Logica 74, 99–152 (2003)
2. Bidoit M., Hennicker R.: Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science 165(1), 3–55 (1996)
3. Blok W.J., Pigozzi D.: Protoalgebraic Logics. Studia Logica 45, 337–369 (1986)
4. Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, No. 396, 1989.
5. Blok, W. J., and D. Pigozzi, Algebraic Semantics for Universal Horn Logic Without Equality, in A. Romanowska and J. D. H. Smith, (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992, pp. 1–56.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A short overview of Hidden Logic;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018