Mandrali Eleni and Rahonis George: Weighted first-order logics over semirings. In: Acta cybernetica, (22) 2. pp. 435-483. (2015)
Preview |
Cikk, tanulmány, mű
actacyb_22_2_2015_13.pdf Download (626kB) | Preview |
Abstract
We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally commutative complete semirings. We show the expressive equivalence (of fragments) of these concepts, generalizing in the quantitative setup, the corresponding folklore result of formal language theory.
Item Type: | Article |
---|---|
Journal or Publication Title: | Acta cybernetica |
Date: | 2015 |
Volume: | 22 |
Number: | 2 |
ISSN: | 0324-721X |
Page Range: | pp. 435-483 |
Language: | English |
Place of Publication: | Szeged |
Related URLs: | http://acta.bibl.u-szeged.hu/38540/ |
DOI: | 10.14232/actacyb.22.2.2015.13 |
Uncontrolled Keywords: | Algebrai logika |
Additional Information: | Bibliogr.: p. 482-483. ; összefoglalás angol nyelven |
Subjects: | 01. Natural sciences 01. Natural sciences > 01.01. Mathematics |
Date Deposited: | 2016. Oct. 17. 10:36 |
Last Modified: | 2022. Jun. 20. 10:57 |
URI: | http://acta.bibl.u-szeged.hu/id/eprint/36104 |
Actions (login required)
![]() |
View Item |