Complexity and Definability Issues in LFormula

DOI10.1093/logcom/exl044zbMath1142.03015OpenAlexW1979333080MaRDI QIDQ5432674

Enrico Marchioni, Franco Montagna

Publication date: 17 December 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exl044

zbMATH Keywords

fuzzy logicdecidabilityreal closed fieldsleft-continuous t-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (5)

Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Ł\(\Pi\) logic with fixed points ⋮ Fuzzy logics with an additional involutive negation ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)

This page was built for publication: Complexity and Definability Issues in LFormula