Complexity and Definability Issues in LFormula
From MaRDI portal
Publication:5432674
DOI10.1093/logcom/exl044zbMath1142.03015MaRDI QIDQ5432674
Franco Montagna, Enrico Marchioni
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
03B52: Fuzzy logic; logic of vagueness
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras, Ł\(\Pi\) logic with fixed points, Fuzzy logics with an additional involutive negation, On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)