The University of Southampton
University of Southampton Institutional Repository

Complexity and definability issues in ŁΠ1/2

Complexity and definability issues in ŁΠ1/2
Complexity and definability issues in ŁΠ1/2
In this work we investigate several complexity and definability problems for the logic łπ1/2. We show that the universal fragment of the theory of real closed fields can be faithfully interpreted in such a logic. Then we investigate the logics of t-norms definable in Łπ 1/2, and we prove that they are all in PSPACE. Finally we show that the most important fuzzy logics are complete with respect to classes of t-norms which are definable in łπ1/2. © the Author, 2007.
Decidability, Fuzzy logics, Left-continuous t-norms, Real closed fields
311-331
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Montagna, Franco
79e82ba3-7d33-40ba-ab38-7732c22ee736
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Montagna, Franco
79e82ba3-7d33-40ba-ab38-7732c22ee736

Marchioni, Enrico and Montagna, Franco (2007) Complexity and definability issues in ŁΠ1/2. Journal of Logic and Computation, 17 (2), 311-331. (doi:10.1093/logcom/exl044).

Record type: Article

Abstract

In this work we investigate several complexity and definability problems for the logic łπ1/2. We show that the universal fragment of the theory of real closed fields can be faithfully interpreted in such a logic. Then we investigate the logics of t-norms definable in Łπ 1/2, and we prove that they are all in PSPACE. Finally we show that the most important fuzzy logics are complete with respect to classes of t-norms which are definable in łπ1/2. © the Author, 2007.

Full text not available from this repository.

More information

e-pub ahead of print date: 23 January 2007
Published date: April 2007
Keywords: Decidability, Fuzzy logics, Left-continuous t-norms, Real closed fields

Identifiers

Local EPrints ID: 417390
URI: https://eprints.soton.ac.uk/id/eprint/417390
PURE UUID: c4b1a26f-576e-4cdb-baa8-c909361ce9da

Catalogue record

Date deposited: 30 Jan 2018 17:31
Last modified: 13 Mar 2019 19:04

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×