Weighted first-order logics over semirings

QR kód

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...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Mandrali Eleni Rahonis George
Dokumentumtípus:	Cikk
Megjelent:	2015
Sorozat:	Acta cybernetica 22 No. 2
Kulcsszavak:	Algebrai logika
Tárgyszavak:	Természettudományok Matematika
doi:	10.14232/actacyb.22.2.2015.13
Online Access:	http://acta.bibl.u-szeged.hu/36104

Hasonló tételek

Weighted recognizability over infinite alphabets
Szerző: Pittou Maria, et al.
Megjelent: (2017)

Simple semimodules over commutative semirings
Szerző: Ježek Jaroslav, et al.
Megjelent: (1983)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

Recognizable tree series with discounting
Szerző: Mandrali Eleni, et al.
Megjelent: (2009)

Nondeterministic programming within the frame of first order classical logic part 1 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

Nondeterministic programming within the frame of first order classical logic part 2 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /
Szerző: Kovásznai Gergely
Megjelent: (2004)

Continuous semiring-semimodule pairs and mixed algebraic systems
Szerző: Ésik Zoltán, et al.
Megjelent: (2017)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

Logic and tree automata
Szerző: Iván Szabolcs
Megjelent: (2008)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Local weighted tree languages
Szerző: Fülöp Zoltán
Megjelent: (2015)

Domain semirings united
Szerző: Fahrenberg Uli, et al.
Megjelent: (2022)

Multiplication of Matrices Over Lattices
Szerző: Kátai-Urbán Kamilla, et al.
Megjelent: (2022)

Density of tautologies in logics with one variable
Szerző: Aszalós László, et al.
Megjelent: (2012)

The support of a recognizable series over a zero-sum free, commutative semiring is recognizable
Szerző: Kirsten Daniel
Megjelent: (2011)

Weighted shift operators, orthogonal polynomials and chain sequences
Szerző: Lasser Rupert, et al.
Megjelent: (2020)

Monomial clones over F-q
Szerző: Horváth Gábor, et al.
Megjelent: (2019)

Nonlinear model predictive control with logic constraints for COVID-19 management
Szerző: Péni Tamás, et al.
Megjelent: (2020)

A modelling tool based on mathematical logic T-PROLOG
Szerző: Futó István, et al.
Megjelent: (1981)

Optimization of multivalued logical functions based on evaluation graphs
Szerző: Varga Antal
Megjelent: (1986)

Idempotent distributive semirings I.
Szerző: Pastijn Francis J., et al.
Megjelent: (1982)

Axiomatic characterization of Ξ-semirings
Szerző: Lee Sin-Min
Megjelent: (1971)

Weighted Lp-type regularity estimates for nonlinear parabolic equations with Orlicz growth
Szerző: Yao Fengping
Megjelent: (2022)

Interval orders and shift graphs
Szerző: Füredi Zoltán, et al.
Megjelent: (1992)

Solution sets of systems of equations over finite lattices and semilattices
Szerző: Tóth Endre, et al.
Megjelent: (2020)

Nonlinear reduced-order modeling from data [abstract] /
Szerző: Haller György
Megjelent: (2024)

On the existence of periodic solutions to second order Hamiltonian systems
Szerző: Ke Xiao-Feng, et al.
Megjelent: (2022)

Existence and uniqueness for a semilinear sixth-order ODE
Szerző: Danet Cristian-Paul
Megjelent: (2022)

Lebesgue points and Cesàro summability of higher dimensional Fourier series over a cone
Szerző: Weisz Ferenc
Megjelent: (2021)

Weighted composition operators acting from the Lipschitz space to the space of bounded functions on a tree
Szerző: Hosokawa Takuya
Megjelent: (2020)

k-nets embedded in a projective plane over a field
Szerző: Korchmáros Gábor, et al.
Megjelent: (2015)

Embeddings of Ree unitals in a projective plane over a field
Szerző: Nagy Gábor Péter
Megjelent: (2021)

An uncountable interval in the lattice of semiring varieties
Szerző: Dolinka Igor, et al.
Megjelent: (2008)

A concept of characteristic for semigroups and semirings
Szerző: Weinert Hanns Joachim
Megjelent: (1979)

On a solvable class of nonlinear difference equations of fourth order
Szerző: Stević Stevo, et al.
Megjelent: (2022)

List of papers in the alphabetical order of the names of authors Tom. 1. (1922) - Tom. 50. (1986)
Megjelent: (1986)

Bol loops and Bruck loops of order pq
Szerző: Kinyon Michael K., et al.
Megjelent: (2017)

On global attractivity of a higher order difference equation and its applications
Szerző: Almaslokh Abdulaziz, et al.
Megjelent: (2022)

Homoclinic orbits for periodic second order Hamiltonian systems with superlinear terms
Szerző: Lv Haiyan, et al.
Megjelent: (2022)