A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

Authors:
Ekaterina Komendantskaya
Affiliations:
Department of Mathematics, University College Cork, Ireland
Venue:
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
2007

Citing 10
Cited 0

RI: A logic for reasoning with inconsistency

Proceedings of the Fourth Annual Symposium on Logic in computer science
Bilattices and the semantics of logic programming

Journal of Logic Programming
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Many-valued modal logics

Fundamenta Informaticae - Special issue: logics for artificial intelligence
Introduction to many-sorted logic

Many-sorted logic and its applications
Kleene's three valued logics and their children

Fundamenta Informaticae
Optimal axiomatizations of finitely valued logics

Information and Computation
A Framework for Automated Reasoning in Multiple-Valued Logics

Journal of Automated Reasoning
MUltlog 1.0: Towards an Expert System for Many-Valued Logics

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Automated deduction for many-valued logics

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a sequent calculus for bilattice-based annotated logic (BAL). We show that this logic can be syntactically and semantically translated into a fragment MSL*of conventional many-sorted logic MSL. We show deductive equivalence of sequent calculus for BAL and sequent calculus for MSL*.