CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Advances in the theory of μŁΠ algebras
Authors
Enrico Marchioni
Luca Spada
Publication date
18 October 2016
Publisher
'Oxford University Press (OUP)'
Doi
Cite
Abstract
Recently an expansion of ŁΠ1/2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μŁΠ algebras, from algebraic, model theoretic and computational standpoints. We provide a characterisation of free μŁΠ algebras as a family of particular functions from [0,1]n to [0,1]. We show that the first-order theory of linearly ordered μŁΠ algebras enjoys quantifier elimination, being, more precisely, the model completion of the theory of linearly ordered ŁΠ1/2 algebras. Furthermore, we give a functional representation of any ŁΠ1/2 algebra in the style of Di Nola Theorem for MV-algebras and finally we prove that the equational theory of μŁΠ algebras is in PSPACE. © The Author 2010. Published by Oxford University Press. All rights reserved.Marchioni acknowledges partial support of the Spanish projects MULOG2 (TIN2007-68005-C04), Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010), the Generalitat de Catalunya grant 2009-SGR-1434, and Juan de la Cierva Program of the Spanish MICINN, as well as the ESF Eurocores-LogICCC/MICINN project (FFI2008-03126-E/FILO). Spada acknowledges partially supported of the FWF project P 19872-N18.Peer Reviewe
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
Digital.CSIC
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:digital.csic.es:10261/1381...
Last time updated on 25/04/2017