Fussner, Daniel (2022). Poset Products as Relational Models. Studia logica, 110(1), pp. 95-120. Springer Science + Business Media 10.1007/s11225-021-09956-z
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
s11225-021-09956-z.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (409kB) |
We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and generalizes two semantics already appearing in the literature: Aguzzoli, Bianchi, and Marra’s temporal flow semantics for Hájek’s basic logic, and Lewis-Smith, Oliva, and Robinson’s semantics for intuitionistic Łukasiewicz logic. As a consequence of our general theory, we recover the soundness and completeness results of these prior studies in a uniform fashion, and extend them to infinitely-many other substructural logics.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Fussner, Daniel Wesley |
Subjects: |
500 Science > 510 Mathematics |
ISSN: |
0039-3215 |
Publisher: |
Springer Science + Business Media |
Language: |
English |
Submitter: |
Zarif Ibragimov |
Date Deposited: |
15 Mar 2023 08:05 |
Last Modified: |
19 Mar 2023 02:15 |
Publisher DOI: |
10.1007/s11225-021-09956-z |
BORIS DOI: |
10.48350/180049 |
URI: |
https://boris.unibe.ch/id/eprint/180049 |
Actions (login required)
 |
Edit item |