Search results
From MaRDI portal
- semantics for fuzzy predicate logic 2010-03-18 Paper https://portal.mardi4nfdi.de/entity/Q4440522 2004-01-05 Paper Finiteness notions in fuzzy sets 2002-05-21...10 bytes (18 words) - 20:38, 11 December 2023
- minimum logic 2004-11-12 Paper A triangular norm-based fuzzy predicate logic 2003-09-07 Paper A triangular-norm-based propositional fuzzy logic 2003-05-27...10 bytes (17 words) - 20:29, 11 December 2023
- minimum logic 2004-11-12 Paper A triangular norm-based fuzzy predicate logic 2003-09-07 Paper A triangular-norm-based propositional fuzzy logic 2003-05-27...10 bytes (17 words) - 00:40, 25 September 2023
- elementary equivalence in fuzzy predicate logics 2013-02-15 Paper Preserving mappings in fuzzy predicate logics 2013-01-14 Paper Towards a Fuzzy Extension of the...10 bytes (18 words) - 14:26, 11 December 2023
- of prominent fuzzy predicate logics 2008-01-16 Paper On witnessed models in fuzzy logic II 2008-01-04 Paper Formal systems of fuzzy logic and their fragments...10 bytes (17 words) - 00:10, 9 December 2023
- Theories in Formal Fuzzy Logic 2008-01-02 Paper Formal systems of fuzzy logic and their fragments 2007-12-12 Paper Normal forms for fuzzy logics: a proof-theoretic...10 bytes (17 words) - 16:51, 9 December 2023
- 2004-01-07 Paper A triangular norm-based fuzzy predicate logic 2003-09-07 Paper A triangular-norm-based propositional fuzzy logic 2003-05-27 Paper https://portal...10 bytes (16 words) - 17:19, 6 December 2023
- equivalence in fuzzy predicate logics 2013-02-15 Paper Fuzzy logics with truth hedges revisited 2013-01-15 Paper On Finitely Valued Fuzzy Description Logics: The...10 bytes (16 words) - 15:59, 7 December 2023
- Łukasiewicz predicate logic 2001-01-14 Paper The liar paradox and fuzzy logic 2000-06-22 Paper A new criterion for comparing fuzzy logics for uncertain...10 bytes (19 words) - 00:59, 10 December 2023
- Approximation and Fuzzy Logic 2007-09-24 Paper Perfect MV-algebras and their logic 2007-08-17 Paper Simplicial structures in MV-algebras and logic 2007-07-09...10 bytes (19 words) - 17:54, 9 December 2023
- finite lattice-valued propositional logic 2022-10-28 Paper \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality 2022-07-21...10 bytes (16 words) - 08:29, 9 December 2023
- First-order Predicate Fuzzy Logics Over Distinguished Semantics 2010-04-21 Paper MV-algebras with internal states and probabilistic fuzzy logics 2010-04-07...10 bytes (17 words) - 15:59, 7 December 2023
- results on infinite valued predicate logic 1964-01-01 Paper A weak completeness theorem for infinite valued first-order logic 1964-01-01 Paper...10 bytes (18 words) - 13:59, 12 December 2023
- study of the first-order predicate logic with uncertainty involved 2018-10-15 Paper A Green train scheduling model and fuzzy multi-objective optimization...10 bytes (17 words) - 02:57, 11 December 2023
- and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics 2023-04-05 Paper SMALL INFINITARY...10 bytes (18 words) - 09:35, 6 October 2023
- notion of truth in fuzzy logic 2003-02-03 Paper Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic 2001-01-14 Paper...10 bytes (19 words) - 00:10, 9 December 2023
- ALGEBRAS 1994-08-25 Paper A note on fuzzy power relations 1994-08-22 Paper A comment on relevant truth table logic 1994-01-21 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 05:42, 13 December 2023
- Paper Continuous L-domains in logical form 2021-07-26 Paper Fuzzy edge connectivity and fuzzy local edge connectivity with applications to communication...10 bytes (17 words) - 00:32, 10 December 2023
- Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract) 2022-06-15 Paper Dynamic Contact Algebras with a Predicate of Actual Existence:...10 bytes (17 words) - 01:08, 11 December 2023
- Computer Science Logic 2007-06-21 Paper Fuzzy logics based on \([0,1)\)-continuous uninorms 2007-06-07 Paper Connectionist modal logic: representing modalities...10 bytes (19 words) - 02:43, 9 December 2023
