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

DOI10.1007/978-3-540-73099-6_14zbMath1132.03333OpenAlexW1558740835MaRDI QIDQ5434488

Ekaterina Komendantskaya

Publication date: 4 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_14

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Reasoning under uncertainty in the context of artificial intelligence (68T37) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Uses Software

• MUltlog

This page was built for publication: A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation