Books on the topic 'Algebraic logic'

Gindikin, S. G. Algebraic Logic. New York, NY: Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4757-1877-5.

H, Andréka, Monk J. Donald 1930-, and Németi I, eds. Algebraic logic. Amsterdam: New York, 1991.

Andréka, Hajnal, Zalán Gyenis, István Németi, and Ildikó Sain. Universal Algebraic Logic. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-14887-3.

Kirchner, Hélène, and Giorgio Levi, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/bfb0013814.

Hanus, Michael, Jan Heering, and Karl Meinke, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0026998.

Grabowski, J., P. Lescanne, and W. Wechler, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-50667-5.

Kirchner, Hélène, and Wolfgang Wechler, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-53162-9.

Levi, Giorgio, and Mario Rodríguez-Artalejo, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58431-5.

Hanus, Michael, and Mario Rodríguez-Artalejo, eds. Algebraic and Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61735-3.

1947-, Blass Andreas, Zhang, Yi, 1964 Aug. 22-, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture (2003 : University of Michigan), eds. Logic and its applications. Providence, R.I: American Mathematical Society, 2005.

Plotkin, B. I. Universal algebra, algebraic logic, and databases. Dordrecht: Kluwer Academic Publishers, 1994.

Dunn, J. Michael. Algebraic methods in philosophical logic. Oxford: Clarendon, 2001.

Rédei, Miklós. Quantum Logic in Algebraic Approach. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-015-9026-6.

Rédei, Miklós. Quantum logic in algebraic approach. Dordrecht: Kluwer Academic Publishers, 1998.

Aglianò, Paolo. Logic and algebra. New York: Marcel Dekker, 1996.

Cignoli, Roberto. Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic, 2000.

Andréka, Hajnal, Miklós Ferenczi, and István Németi, eds. Cylindric-like Algebras and Algebraic Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35025-2.

Plotkin, B. Universal Algebra, Algebraic Logic, and Databases. Dordrecht: Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-011-0820-1.

Plotkin, B. Universal Algebra, Algebraic Logic, and Databases. Dordrecht: Springer Netherlands, 1994.

Aldo, Ursini, Aglianò Paolo, Magari Roberto 1934-, and International Conference on Logic and Algebra (1994 : Pontignano, Italy), eds. Logic and algebra. New York: Marcel Dekker, 1996.

Hailperin, Theodore. Boole's logic and probability: A critical exposition from the standpoint of contemporary algebra, logic, and probability theory. 2nd ed. Amsterdam, Netherlands: North-Holland Pub. Co., 1986.

Gorbunov, Viktor A. Algebraic theory of quasivarieties. New York: Consultants Bureau, 1998.

Chubb, Jennifer, Ali Eskandarian, and Valentina Harizanov, eds. Logic and Algebraic Structures in Quantum Computing. Cambridge: Cambridge University Press, 2016. http://dx.doi.org/10.1017/cbo9781139519687.

International Conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (2002 Ulʹi︠a︡novsk, Russia). Trudy mezhdunarodnoĭ konferent︠s︡ii "Kontinualʹnye algebraicheskie logiki, ischislenii︠a︡ i neĭromatematika v nauke, tekhnike i ėkonomike": 14-16 mai︠a︡ 2002 goda. Ulʹi︠a︡novsk: UlGTU, 2002.

International Conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (2002 Ulʹi︠a︡novsk, Russia). Trudy mezhdunarodnoĭ konferent︠s︡ii "Kontinualʹnye algebraicheskie logiki, ischislenii︠a︡ i neĭromatematika v nauke, tekhnike i ėkonomike": 14-16 mai︠a︡ 2002 goda. Ulʹi︠a︡novsk: UlGTU, 2002.

International Conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (2002 Ulʹi︠a︡novsk, Russia). Trudy mezhdunarodnoĭ konferent︠s︡ii "Kontinualʹnye algebraicheskie logiki, ischislenii︠a︡ i neĭromatematika v nauke, tekhnike i ėkonomike": 14-16 mai︠a︡ 2002 goda. Ulʹi︠a︡novsk: UlGTU, 2002.

International Conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (2003 Ulʹi︠a︡novsk, Russia). Algebraicheskie logiki, implikativnai︠a︡ i predikatnai︠a︡ algebry vybora v zadachakh nauki i tekhniki: Trudy mezhdunarodnoĭ koferent︠s︡ii "Kontinualʹnye algebraicheskie logiki, ischislenii︠a︡ i neĭroinformatika v nauke, tekhnike i ėkonomike", 13-15 mai︠a︡ 2003 goda. Ulʹi︠a︡novsk: Ulʹi︠a︡novskiĭ gos. tekhn. universitet, 2003.

Adams, Ernest W. A primer of probability logic. Stanford, Calif: Center for the Study of Language and Information, 1998.

Hart, Bradd T. Algebraic Model Theory. Dordrecht: Springer Netherlands, 1997.

Cignoli, Roberto L. O. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Springer Netherlands, 2000.

Bergman, Clifford H., Roger D. Maddux, and Don L. Pigozzi, eds. Algebraic Logic and Universal Algebra in Computer Science. Berlin/Heidelberg: Springer-Verlag, 1990. http://dx.doi.org/10.1007/bfb0043074.

Di Nola, Antonio, Revaz Grigolia, and Esko Turunen. Fuzzy Logic of Quasi-Truth: An Algebraic Treatment. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-30406-9.

Dietrich, Roland. Relating Resolution and Algebraic Completion for Horn Logic. Darmstadt: GMD, 1985.

Cecylia, Rauszer, Instytut Matematyczny (Polska Akademia Nauk), and Stefan Banach International Mathematical Center., eds. Algebraic methods in logic and in computer science. Warszawa: Polish Academy of Sciences, Institute of Mathematics, 1993.

M, Gorchakov I͡U︡, Kudri͡a︡vt͡s︡ev V. B, Strogalov A. S, and Tverskoĭ gosudarstvennyĭ universitet, eds. Logiko-algebraicheskie konstrukt͡s︡ii: Sbornik nauchnykh trudov. Tverʹ: Tverskoĭ gos. universitet, 1992.

Silverman, R. H., and Semen G. Gindikin. Algebraic Logic. Springer New York, 2011.

Gindikin, Semen G. Algebraic Logic. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985.

Halmos, Paul R. Algebraic logic. 2016.

Algebraic logic. New York: Springer-Verlag, 1985.

Halmos, Paul R. Algebraic Logic. Dover Publications, Incorporated, 2016.

Grabowski, Jan, Pierre Lescanne, and Wolfgang Wechler, eds. Algebraic and Logic Programming. De Gruyter, 1988. http://dx.doi.org/10.1515/9783112620267.

Algebra, Logic, Set Theory (Studies in Logic). College Publications, 2007.

Rédei, Miklós. Quantum Logic in Algebraic Approach. Springer, 2013.

Rédei, Miklós. Quantum Logic in Algebraic Approach. Springer Netherlands, 2009.

Some Neutrosophic Algebraic Structures and Neutrosophic N-Algebraic Structures. Hexis, 2006.

Dunn, J. Michael, and Gary Hardegree. Algebraic Methods in Philosophical Logic (Oxford Logic Guides). Oxford University Press, USA, 2001.

Halmos, Paul R. Algebraic Logic (AMS Chelsea Publishing). American Mathematical Society, 2006.

Rieger, Ladislav. Algebraic Methods of Mathematical Logic. Elsevier Science & Technology Books, 2014.

Barnes, D. W., and J. M. Mack. Algebraic Introduction to Mathematical Logic. Springer London, Limited, 2013.

Kandasamy, W. B. Vasantha. Smarandache Neutrosophic Algebraic Structures. Hexis, 2006.