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...
| Publicado en: | Synthese Vol. 198; pp. 5373 - 5391 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Oct2021 Supplement 22
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=153415421&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 153415421 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Oct2021 Supplement 22 vid: 198 pid: 237 pub: Springer Nature artinfo: ui: 153415421 10.1007/s11229-019-02142-8 ppf: 5373 ppct: 18 formats: fmt: – @attributes: type: T – @attributes: type: P size: 396KB tig: atl: Axiomatizing non-deterministic many-valued generalized consequence relations. aug: au: Marcelino, Sérgio Caleiro, Carlos affil: Department of Mathematics - Instituto Superior Técnico, SQIG - Instituto de Telecomunicações, Universidade de Lisboa, Lisbon, Portugal su: Boolean matrices Finite, The Matrices (Mathematics) sug: subj: Boolean matrices Finite, The Matrices (Mathematics) keyword: Analyticity Axiomatization Generalized logical consequence Non-deterministic logical matrix ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2021. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|