From many-valued consequence to many-valued connectives.

Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take? In this paper, we pose this question in a multi-premise multi-conclusion setting for...

Full description

Bibliographic Details

Published in:	Synthese Vol. 198; pp. 5315 - 5353
Main Authors:	Chemla, Emmanuel, Egré, Paul
Format:	Article
Published:	Springer Nature Oct2021 Supplement 22
Subjects:	Many-valued logic Algebraic logic
Online Access:	View this record in EBSCOhost