Universal Equational Consequence
Email: acitkin@gmail.com
Email: acitkin@gmail.com
Email: alexeim@nsula.edu
Email: alexeim@nsula.edu
1. SEMANTIC CONSEQUENCE
1. SEMANTIC CONSEQUENCE
2. EQUATIONAL CONSEQUENCE
2. EQUATIONAL CONSEQUENCE
3. EQUATIONAL L-CONSEQUENCE
3. EQUATIONAL L-CONSEQUENCE
SELECTED BIBLIOGRAPHY
SELECTED BIBLIOGRAPHY
- G. Birkhoff (1934) On the structure of abstract algebras, Proc. of the Camb. Phil. Soc., 29:433-454.
- S. Burris (1998) Logics for Mathematics and Computer Science, Prentice Hall, Upper Saddle River, N.J., 1998.
- A. Citkin and A. Muravitsky (2018) Lindenbaum Method Tutorial — UNILOG 2018
- A.I. Mal'cev (1973) Algebraic Systems, Akademie-Verlag, Berlin.
- A. Tarski (1956) Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford at the Clarendon Press. Translated by J. H. Woodger.
- W. Taylor (1979) Equational logic, Houston J. Math., pages iii+83. Survey.
- R. Wojcicki (1988) Theory of Logical Calculi, Synthese Library, vol. 199, Kluwer Academic Publishers Group, Dordrecht.
The tutorial is based on three chapters of this forthcoming book:
The tutorial is based on three chapters of this forthcoming book:
USEFUL LINKS
USEFUL LINKS
Encyclopedia of Mathematics
Encyclopedia of Mathematics
Stanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy