Multisequent Gentzen Deduction Systems For B2 2-Valued First-Order Logic

Wei Li, Yuefei Sui


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

Full Text:




  • There are currently no refbacks.

Artificial Intelligence Research

ISSN 1927-6974 (Print)   ISSN 1927-6982 (Online)

Copyright © Sciedu Press 
To make sure that you can receive messages from us, please add the '' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders.