LUW - November 10 - Calculi for Many-Valued Logics by Michael Kaminski and Nissim Francez

jean-yves beziau beziau100 at
Tue Nov 9 03:49:25 EST 2021

The next session of LUW (Logica Universalis Webinar) will take place this
coming Wednesday, November 10,  at 4pm CET

Title of the Talk: Calculi for Many-Valued Logics
Authors:Michael Kaminski and Nissim Francez
Abstract:  We present a number of equivalent calculi for many-valued logics
and prove soundness and strong completeness theorems. The calculi are
obtained from the truth tables of the logic under consideration in a
straightforward manner and there is a natural duality among these calculi.
We also prove the cut elimination theorems for the sequent-like systems.

Associate Organization: Logic in Israel, presented by Liron Cohen

Chair:Anna Zamansky, Member of the Editorial Board of Studies in Universal

To attend, register here:

Jean-Yves Beziau
Organizer of the Logica Universalis Webinar
President of Logica Universalis Association
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211109/c4935b58/attachment-0001.html>

More information about the FOM mailing list