Abstract
Traditional first-order logic has four definitions for quantifiers, which are defined by universal and existential quantifiers. In L3-valued (three-valued) first-order logic, there are eight kinds of definitions for quantifiers; and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.
Similar content being viewed by others
References
Li W. Mathematical Logic: Foundations for Information Science. 2nd ed. Birkhäuser, 2010
Zach R. Proof theory of finite-valued logics, Technical Report TUW-E185.2-Z.1-93. Institut Für Computersprachen, Technische Universität Wien, 1993
Avron A. The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges W, Hyland M, Steinhorn C, Truss J, eds. Logic: From Foundations to Applications European Logic Colloquium. Clarendon Press, 1994, 1–32
Zach R, Fermüller C, Baaz M, Salzer G. Labeled calculi and finite-valued logics. Studia Logica, 1998, 61: 7–33
Li W, Sui Y F. Multisequent gentzen deduction systems for B 22 -valued first-order logic. Journal of Artificial Intelligence Research, 2018, 7(1): 53
Wansing H. The power of Belnap: sequent systems for SIXTEEN3. Journal of Philosophical Logic, 2010, 39(4): 369–393
Urquhart A. Basic many-valued logic. In: Gabbay D M, Guenthner F, eds. Handbook of Philosophical Logic, vol.2. Springer Netherlands, 2001, 249–295
Avron A. Natural 3-valued logics-characterization and proof theory. The Journal of Symbolic Logic, 1991, 56(1): 276–294
Baaz M, Fermüller C G, Ovrutcki A, Zach R. MULTLOG: a system for axiomatizing many-valued logics. In: Voronkov A, ed. Logic Programming and Automated Reasoning. Springer Berlin Heidelberg, 1993, 345–347
Bochvar D A, Bergmann M. On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic, 1981, 2: 87–112
Fitting M C. Many-valued modal logics. Fundamenta Informaticae, 1999, 15: 235–254
Gottwald S. A Treatise on Many-Valued Logics(Studies in Logic and Computation). Baldock: Research Studies Press, 2001
Hähnle R. Advanced many-valued logics. In: Gabbay D, Guenthner F, eds. Handbook of Philosophical Logic, vol. 2. Dordrecht: Kluwer, 2001, 297–395
Malinowski G. Many-valued logic and its philosophy. In: Gabbay D M, Woods J, eds. Handbook of The History of Logic, vol.8, The Many Valued and Nonmonotonic Turn in Logic. Elsevier, 2009
Novák V. A formal theory of intermediate quantifiers. Fuzzy Sets and Systems, 2008, 159: 1229–1246
Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 2001, 14: 137–166
Li W, Sui Y F. The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /⊲. Frontiers of Computer Science, 2007, 11(5): 887–894
Łukasiewicz J. Selected Works. Amsterdam: North-Holland, 1970
Author information
Authors and Affiliations
Corresponding author
Additional information
Wei Li is a PhD, Professor, PhD supervisor, and Academician of Chinese Academy of Sciences, China. He is a professor in the School of Computer Science and Engineering, Beihang University, China. His main research interests include computer science theory and software foundation, theory and practice of unstructured data, and analysis and processing of big data.
Yuefei Sui is a PhD, Professor, PhD supervisor, and a member of China Computer Federation. He is a professor in the Institute of Computing Technology, Chinese Academy of Sciences, and is a professor in School of Computer Science and Technology, University of Chinese Academy of Sciences, China. His main research interests include foundation of large-scale knowledge process and mathematical logic.
Electronic supplementary material
Rights and permissions
About this article
Cite this article
Li, W., Sui, Y. Variant quantifiers in L3-valued first-order logic. Front. Comput. Sci. 15, 155403 (2021). https://doi.org/10.1007/s11704-020-7399-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11704-020-7399-7