Weighted first-order logics over semirings
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 quanti...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2015
|
| Sorozat: | Acta cybernetica
22 No. 2 |
| Kulcsszavak: | Algebrai logika |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.22.2.2015.13 |
| Online Access: | http://acta.bibl.u-szeged.hu/36104 |
| LEADER | 01137nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta36104 | ||
| 005 | 20220620105714.0 | ||
| 008 | 161017s2015 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.22.2.2015.13 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Mandrali Eleni | |
| 245 | 1 | 0 | |a Weighted first-order logics over semirings |h [elektronikus dokumentum] / |c Mandrali Eleni |
| 260 | |c 2015 | ||
| 300 | |a 435-483 | ||
| 490 | 0 | |a Acta cybernetica |v 22 No. 2 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 695 | |a Algebrai logika | ||
| 700 | 0 | 1 | |a Rahonis George |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/36104/1/actacyb_22_2_2015_13.pdf |z Dokumentum-elérés |