Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2207.00086 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916993777532928 |
|---|---|
| author | Badia, Guillermo Fagin, Ronald Noguera, Carles |
| author_facet | Badia, Guillermo Fagin, Ronald Noguera, Carles |
| contents | Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent paper (\emph{Foundations of Reasoning with Uncertainty via Real-valued Logics}, arXiv:2008.02429v2, 2021), Ronald Fagin, Ryan Riegel, and Alexander Gray have introduced a new paradigm that allows to deal with inferences in propositional real-valued logics based on multi-dimensional sentences that allow to prescribe any truth-values, not just 1, for the premises and conclusion of a given entailment. In this paper, we extend their work to the first-order (as well as modal) logic of multi-dimensional sentences. We give axiomatic systems and prove corresponding completeness theorems, first assuming that the structures are defined over a fixed domain, and later for the logics of varying domains. As a by-product, we also obtain a 0-1 law for finitely-valued versions of these logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_00086 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | New foundations of reasoning via real-valued first-order logics Badia, Guillermo Fagin, Ronald Noguera, Carles Logic Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent paper (\emph{Foundations of Reasoning with Uncertainty via Real-valued Logics}, arXiv:2008.02429v2, 2021), Ronald Fagin, Ryan Riegel, and Alexander Gray have introduced a new paradigm that allows to deal with inferences in propositional real-valued logics based on multi-dimensional sentences that allow to prescribe any truth-values, not just 1, for the premises and conclusion of a given entailment. In this paper, we extend their work to the first-order (as well as modal) logic of multi-dimensional sentences. We give axiomatic systems and prove corresponding completeness theorems, first assuming that the structures are defined over a fixed domain, and later for the logics of varying domains. As a by-product, we also obtain a 0-1 law for finitely-valued versions of these logics. |
| title | New foundations of reasoning via real-valued first-order logics |
| topic | Logic |
| url | https://arxiv.org/abs/2207.00086 |