Weighted first-order logics over semirings

Mandrali Eleni and Rahonis George: Weighted first-order logics over semirings. In: Acta cybernetica, (22) 2. pp. 435-483. (2015)

[thumbnail of actacyb_22_2_2015_13.pdf]
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 View Item