A sequent calculus for bilattice-based logic and its many-sorted representation
A sequent calculus for bilattice-based logic and its many-sorted representation
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*.
165-182
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
2007
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Komendantskaya, Ekaterina
(2007)
A sequent calculus for bilattice-based logic and its many-sorted representation.
In Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Proceedings.
vol. 4548 LNAI,
Springer.
.
(doi:10.1007/978-3-540-73099-6_14).
Record type:
Conference or Workshop Item
(Paper)
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*.
This record has no associated files available for download.
More information
Published date: 2007
Venue - Dates:
16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, , Aix en Provence, France, 2007-07-03 - 2007-07-06
Identifiers
Local EPrints ID: 500420
URI: http://eprints.soton.ac.uk/id/eprint/500420
ISSN: 0302-9743
PURE UUID: bfa7b9ad-c97f-44c7-a37b-e70b8775edab
Catalogue record
Date deposited: 29 Apr 2025 16:42
Last modified: 23 May 2025 02:08
Export record
Altmetrics
Contributors
Author:
Ekaterina Komendantskaya
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics