Cover Image
QR Code

Axiomatizing non-deterministic many-valued generalized consequence relations.

We discuss the axiomatization of generalized consequence relations determined by non-deterministic matrices. We show that, under reasonable expressiveness requirements, simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, when the non...

Full description

Published in:Synthese Vol. 198; pp. 5373 - 5391
Main Authors: Marcelino, Sérgio, Caleiro, Carlos
Format: Article
Published: Springer Nature Oct2021 Supplement 22
Subjects:
Boolean matrices
Finite, The
Matrices (Mathematics)
Online Access:View this record in EBSCOhost