Abstract
Two criteria of decidability for axiomatic systems based on J.Lukasiewicz’s three-valued logic are established.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bols, L., Borowik, P.: Many-valued Logics1: Theoretical Foundations. Springer, Heidelberg (1992)
Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, San Diego, Harcourt (2001)
Ershov, Y.L.: Problems of Decidability and Constructive Models (in Russian). Nauka, Moskow (1980)
Kleene, S.C.: Introduction to Metamathematics. D.van Nostrand Comp., Inc., New York - Toronto (1952)
Lukasiewicz, J.: O logice trojwartosciowej (in Polish). Ruch filozoficzny (Lwow) N5, 168–171 (1920)
Zaslavsky, I.D.: Symmetric Constructive Logic (in Russian). Publ. House of Acad. Sci. Arm. SSR (1978)
Zaslavsky, I.D.: On a logically but not functionally complete calculus in three-valued logic. In: The Tbilisi Symposium on Logic, Language and Computation, selected papers, pp. 309–313. CSLI publications, Stanford, California (1998)
Zaslavsky, I.D.: On the Completeness Properties of the Systems of Symmetric Constructive and Three-valued Logic. In: International Conference “21st Days of Weak Arithmetics”, St.Petersburg, Russia, June 7-9, 2002, pp. 17–18. Abstracts, St.Petersburg (2002), URL http://at.yorku.ca/cgi-bin/amca/cail-01
Zaslavsky, I.D.: Formal axiomatic theories on the base of three-valued logic (in Russian). In: Zapiski nauchnykh seminarov POMI. Proceedings of Scientific Seminars in St.Petersburg Department of Steklov Institute of Mathematics, Russian Acad. Sci, St.Petersburg. Theory of Complexity of Computations VIII, vol. 304, pp. 19–74 (2003)
Zaslavsky, I.D.: Some criteria of completeness for axiomatic systems in three-valued logic. Transactions of the Institute for Informatics and Automation Problems of National Acad. Sci. Armenia. Mathematical Problems of Computer Science, vol. 27, pp. 174–202 (2006)
Zaslavsky, I.D.: On decidable axiomatic theories in three-valued logic. In: The Batumi Symposium on Logic, Language and Computation, Abstracts of Reports, Batumi (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zaslavsky, I.D. (2007). Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic. In: ten Cate, B.D., Zeevat, H.W. (eds) Logic, Language, and Computation. TbiLLC 2005. Lecture Notes in Computer Science(), vol 4363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75144-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-75144-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75143-4
Online ISBN: 978-3-540-75144-1
eBook Packages: Computer ScienceComputer Science (R0)