1. SEMANTIC CONSEQUENCE

2. EQUATIONAL CONSEQUENCE

3. EQUATIONAL L-CONSEQUENCE

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.

USEFUL LINKS

Encyclopedia of Mathematics

• "Lindenbaum method (propositional language)"

• "Abstract algebraic logic"

• "Equational logic"

Stanford Encyclopedia of Philosophy

• "Logical consequence"

Internet Encyclopedia of Philosophy

• "Logical consequence"