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

Wei Li, Yuefei Sui

Abstract


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 G22 for B22-valued first-order logic will be built and its soundness and completeness theorems will be proved.

Full Text:

PDF


DOI: https://doi.org/10.5430/air.v7n1p53

Refbacks

  • 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 'Sciedupress.com' 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.