Arithmetical complexity of fuzzy predicate logics – a survey
- 18 May 2005
- journal article
- Published by Springer Nature in Soft Computing
- Vol. 9 (12) , 935-941
- https://doi.org/10.1007/s00500-004-0448-6
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Hoops and Fuzzy LogicJournal of Logic and Computation, 2003
- Varieties of BL-algebras I: general propertiesJournal of Pure and Applied Algebra, 2003
- A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica, 2002
- Monoidal t-norm based logictowards a logic for left-continuous t-normsFuzzy Sets and Systems, 2001
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem ProvingPublished by Springer Nature ,2001
- Fuzzy Logic and Arithmetical Hierarchy IIIStudia Logica, 2001
- Three Complexity Problems in Quantified Fuzzy LogicStudia Logica, 2001
- Basic Fuzzy Logic is the logic of continuous t-norms and their residuaSoft Computing, 2000
- Algebraic Foundations of Many-Valued ReasoningPublished by Springer Nature ,2000
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998