Axiomatizing non-deterministic many-valued generalized consequence relations.

Fri, 01 Jan 2021 00:00:00 +0100

Sérgio Marcelino , Carlos Caleiro :
Axiomatizing non-deterministic many-valued generalized consequence relations. Synth. 198(22-S): 5373-5390 (2021)