Michael Kaminski - A note on calculi for non-deterministic many-valued logics

fi:8847 - Fundamenta Informaticae, January 2, 2023, Volume 186, Issues 1-4: Trakhtenbrot's centenary - https://doi.org/10.46298/fi.8847
A note on calculi for non-deterministic many-valued logicsArticle

Authors: Michael Kaminski

We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained from the truth tables of the logic under consideration in a straightforward manner. We prove soundness and strong completeness theorems for both calculi and also prove the cut elimination theorem for the calculi defined by rules of inference.


Volume: Volume 186, Issues 1-4: Trakhtenbrot's centenary
Published on: January 2, 2023
Accepted on: June 21, 2022
Submitted on: December 15, 2021
Keywords: Computer Science - Logic in Computer Science

Consultation statistics

This page has been seen 351 times.
This article's PDF has been downloaded 203 times.