Search results
From MaRDI portal
- Theorems for Łukasiewicz Logic with Product 2020-04-03 Paper Mutually Exclusive Nuances of Truth in Moisil Logic 2019-02-08 Paper Infinitary logic and basically...10 bytes (17 words) - 16:51, 9 December 2023
- with forfeits 2021-02-04 Paper Łukasiewicz logic and artificial neural networks 2020-12-15 Paper Dynamic Łukasiewicz logic and dynamic MV-algebras 2020-10-22...10 bytes (16 words) - 06:06, 7 October 2023
- neural networks via Łukasiewicz logic 2024-02-20 Paper Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability...10 bytes (16 words) - 20:26, 24 September 2023
- theorems in natural expansions of BCK-logic 2004-03-29 Paper Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic 2003-09-16 Paper Free cancellative...10 bytes (18 words) - 05:04, 12 December 2023
- intermediate logics over linear frames 2022-06-13 Paper Axiomatization of crisp Gödel modal logic 2021-04-27 Paper Łukasiewicz Public Announcement Logic 2020-08-20...10 bytes (18 words) - 21:19, 8 December 2023
- Assignments in Gödel Logic 2009-07-02 Paper The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic 2008-09-16 Paper Computing...10 bytes (18 words) - 14:32, 28 January 2024
- inconsistency-tolerant reasoning about probability based on Łukasiewicz logic 2023-07-26 Paper Towards a unified view on logics for uncertainty 2023-07-26 Paper On conditional...10 bytes (17 words) - 22:56, 10 December 2023
- Paper Quantum logic as partial infinite-valued Łukasiewicz logic 1996-06-19 Paper Fuzzy quantum logics and infinite-valued Łukasiewicz logic 1995-08-27 Paper...10 bytes (16 words) - 02:50, 12 December 2023
- Embedding logics into product logic 2001-04-19 Paper Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic 2001-01-14...10 bytes (17 words) - 00:10, 9 December 2023
- n-valued Lukasiewicz Events 2011-06-20 Paper https://portal.mardi4nfdi.de/entity/Q2998387 2011-05-18 Paper Extending possibilistic logic over Gödel logic 2011-01-31...10 bytes (17 words) - 15:59, 7 December 2023
- Paper The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic 2016-04-28 Paper Generalized Fibonacci and Lucas cubes arising...10 bytes (17 words) - 14:32, 28 January 2024
- theorems in natural expansions of BCK-logic 2004-03-29 Paper Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic 2003-09-16 Paper Free cancellative...10 bytes (18 words) - 10:54, 11 December 2023
- EMV-Semirings 2020-12-30 Paper Łukasiewicz logic and artificial neural networks 2020-12-15 Paper Dynamic Łukasiewicz logic and dynamic MV-algebras 2020-10-22...10 bytes (19 words) - 17:54, 9 December 2023
- ukasiewicz logic 2017-05-17 Paper Classifying orbits of the affine group over the integers 2017-04-11 Paper Germinal theories in Łukasiewicz logic 2017-03-16...10 bytes (16 words) - 20:30, 8 December 2023
- Type Rational Pavelka logic: the best among three worlds? 2023-10-31 Paper On the complexity of validity degrees in Łukasiewicz logic 2022-12-16 Paper Structural...10 bytes (16 words) - 14:11, 10 December 2023
- dynamic logic for searching games with errors 2014-11-20 Paper Pivotal decompositions of functions. 2014-08-22 Paper Extending Łukasiewicz logics with a...10 bytes (16 words) - 19:54, 9 December 2023
- reasons in inductive logic 2001-11-01 Paper Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic 2001-01-14 Paper The...10 bytes (19 words) - 00:59, 10 December 2023
- \(n\)-valued \(R_{0}\)-logic (NM-logic) 2006-12-07 Paper Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems 2006-11-15...10 bytes (17 words) - 13:34, 11 December 2023
- generalization of modal logic 1971-01-01 Paper Theory of rejected propositions. I 1971-01-01 Paper Some remarks on three-valued logic of J. Lukasiewicz 1967-01-01 Paper...10 bytes (17 words) - 21:04, 12 December 2023
- Computer Science Logic 2007-06-21 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2006-07-07 Paper Łukasiewicz Logic: From Proof Systems...10 bytes (16 words) - 17:38, 9 December 2023