Weighted First-Order Logics over Semirings | Zendy

Eleni Mandrali | Zendy; George Rahonis | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Weighted First-Order Logics over Semirings

Author(s) -

Eleni Mandrali,

George Rahonis

Publication year - 2015

Publication title -

acta cybernetica

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.143

H-Index - 18

eISSN - 2676-993X

pISSN - 0324-721X

DOI - 10.14232/actacyb.22.2.2015.13

Subject(s) - idempotence , equivalence (formal languages) , commutative property , mathematics , order (exchange) , logical equivalence , first order , algebra over a field , discrete mathematics , computer science , pure mathematics , finance , economics

We consider a first-order logic, a linear temporal logic, star-freeexpressions and counter-free Büchi automata, with weights, overidempotent, zero-divisor free and totally commutative complete semirings.We show the expressive equivalence of fragments of these concepts,generalizing in the quantitative setup, the corresponding folkloreresult of formal language theory.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research