Multisequent Gentzen Deduction Systems For B22-Valued First-Order Logic

For the four-element Boolean algebra B 2 2 , a multisequent Г|Δ| ∑|∏ is a generalization of sequent Г →Δ in traditional B 2 2 valued first-order logic. By defining the truth-values of quantified formulas, a Gentzen deduction system G 2 2  for B 2 2 -valued first-order logic will be built and its soundness and completeness theorems will be proved.

[1]  Grzegorz Malinowski,et al.  Many-valued logic and its philosophy , 2007, The Many Valued and Nonmonotonic Turn in Logic.

[2]  Case 9 , 1969 .

[3]  Dov M. Gabbay,et al.  The Many Valued and Nonmonotonic Turn in Logic , 2007, Handbook of the History of Logic.

[4]  Alasdair Urquhart,et al.  Basic Many-Valued Logic , 2001 .

[5]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[6]  Andrzej Wronski,et al.  Remarks on a survey article on many valued logic by A. Urquhart , 1987, Stud Logica.

[7]  Vilém Novák,et al.  A formal theory of intermediate quantifiers , 2008, Fuzzy Sets Syst..

[8]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[9]  Wei Li.  Mathematical logic - foundations for information science , 2010, Progress in computer science and applied logic.

[10]  Reiner Hähnle,et al.  Advanced Many-Valued Logics , 2001 .