Axiomatizing non-deterministic many-valued generalized consequence relations

被引：0
|
作者：
Sérgio Marcelino
Carlos Caleiro
机构：
[1] Universidade de Lisboa,Department of Mathematics
来源：
Synthese | 2021年 / 198卷
关键词：
Generalized logical consequence; Axiomatization; Non-deterministic logical matrix; Analyticity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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-deterministic matrices are finite we obtain finite axiomatizations with a suitable generalized subformula property.
引用
收藏
页码：5373 / 5390
页数：17
相关论文
共 50 条
12345