Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Theoretical Computer Science
Fuzzy logic: mathematical tools for approximate reasoning
Fuzzy logic: mathematical tools for approximate reasoning
Fuzzy Relational Systems: Foundations and Principles
Fuzzy Relational Systems: Foundations and Principles
Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Observations on the monoidal t-norm logic
Fuzzy Sets and Systems - Possibility theory and fuzzy logic
Compact Propositional Gödel Logics
ISMVL '98 Proceedings of the The 28th International Symposium on Multiple-Valued Logic
A development of set theory in fuzzy logic
Beyond two
Analytic calculi for monoidal t-norm based logic
Fundamenta Informaticae
Arithmetical complexity of fuzzy predicate logics – a survey
Soft Computing - A Fusion of Foundations, Methodologies and Applications
On Product Logic with Truth-constants
Journal of Logic and Computation
On Weakly Cancellative Fuzzy Logics
Journal of Logic and Computation
On arithmetical complexity of fragments of prominent fuzzy predicate logics
Soft Computing - A Fusion of Foundations, Methodologies and Applications - Special issue (pp 315-357) "Ordered structures in many-valued logic"
Strong non-standard completeness for fuzzy logics
Soft Computing - A Fusion of Foundations, Methodologies and Applications - Special issue (pp 315-357) "Ordered structures in many-valued logic"
On the difference between traditional and deductive fuzzy logic
Fuzzy Sets and Systems
A formal theory of intermediate quantifiers
Fuzzy Sets and Systems
Mathematical Fuzzy Logic and Natural Numbers
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Relations in Fuzzy Class Theory
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Solution of a system of linear equations with fuzzy numbers
Fuzzy Sets and Systems
A comprehensive theory of trichotomous evaluative linguistic expressions
Fuzzy Sets and Systems
Relational compositions in Fuzzy Class Theory
Fuzzy Sets and Systems
Complexity Issues in Axiomatic Extensions of Łukasiewicz Logic
Journal of Logic and Computation
Proof Theory for Fuzzy Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
On expansions of WNM t-norm based logics with truth-constants
Fuzzy Sets and Systems
From fuzzy logic to fuzzy mathematics: A methodological manifesto
Fuzzy Sets and Systems
Making fuzzy description logic more general
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
Journal of Logic and Computation
Monadic fragments of Gödel logics: decidability and undecidability results
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
Journal of Logic and Computation
Fuzzy logics with an additional involutive negation
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
An early approach toward graded identity and graded membership in set theory
Fuzzy Sets and Systems
Fuzzy Sets and Systems
On elementary extensions in fuzzy predicate logics
IPMU'10 Proceedings of the Computational intelligence for knowledge-based systems design, and 13th international conference on Information processing and management of uncertainty
Archive for Mathematical Logic
Reasoning about mathematical fuzzy logic and its future
Fuzzy Sets and Systems
Yablo-Like paradoxes and co-induction
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Triangular norm based graded convex fuzzy sets
Fuzzy Sets and Systems
Applications of ordinal ranks to flexible query answering
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
On elementary equivalence in fuzzy predicate logics
Archive for Mathematical Logic
Local and relativized local finiteness in t-norm based structures
Information Sciences: an International Journal
Fuzzy logic and self-referential reasoning: a comparative study with some new concepts
Artificial Intelligence Review
Hi-index | 0.20 |
The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics: standard (the set of truth values being the real interval [0,1]) and general with abstract algebras of truth functions.