Search results
From MaRDI portal
- semantics for the minimum many-valued modal logic over Ł\(_n\) 2023-10-31 Paper Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) 2023-10-26...10 bytes (18 words) - 21:19, 8 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
- idempotent functions of many-valued logic definable by binary relations 2002-01-30 Paper On expressibility of functions of many-valued logic in some logical-functional...10 bytes (18 words) - 16:04, 9 December 2023
- Polyadic Modal Logic 2020-11-16 Paper Operational semantics and program verification using many-sorted hybrid modal logic 2020-05-14 Paper A General View on...10 bytes (17 words) - 16:51, 9 December 2023
- 2018-11-20 Paper Convex MV-algebras: many-valued logics meet decision theory 2018-10-31 Paper STRICT COHERENCE ON MANY-VALUED EVENTS 2018-05-02 Paper Layers...10 bytes (17 words) - 22:56, 10 December 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
- Adding Conditionals to Certain Many-Valued Logics 2022-02-04 Paper K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You 2020-08-10 Paper...10 bytes (18 words) - 21:18, 8 December 2023
- 'Belnap's four-valued logic and De Morgan lattices' 2000-02-21 Paper On Special Implicative Filters 1999-05-18 Paper Belnap's Four-Valued Logic and De Morgan...10 bytes (18 words) - 11:14, 9 December 2023
- resolution and dynamic logics 2016-08-01 Paper Extending propositional dynamic logic for Petri nets 2016-05-10 Paper Finitely many-valued logics and natural deduction...10 bytes (18 words) - 15:25, 10 December 2023
- COHERENCE ON MANY-VALUED EVENTS 2018-05-02 Paper Proof search and co-NP completeness for many-valued logics 2018-02-19 Paper The Rényi-Ulam games and many-valued...10 bytes (17 words) - 15:59, 7 December 2023
- lta\) logic 2017-09-05 Paper Representation of BL-algebras with finite independent spectrum 2017-08-09 Paper Two Principles in Many-Valued Logic 2015-10-06...10 bytes (16 words) - 17:55, 11 December 2023
- complete many-valued logic with product-conjunction 1996-07-08 Paper https://portal.mardi4nfdi.de/entity/Q4850351 1996-03-11 Paper Local multi-valued logics...10 bytes (17 words) - 15:59, 7 December 2023
- \textit{The Port Royal Logic} 2016-12-22 Paper Distributive Terms, Truth, and thePort Royal Logic 2015-03-25 Paper Lukasiewicz's Many-valued Logic and Neoplatonic...10 bytes (18 words) - 22:24, 8 December 2023
- propositions. II 1972-01-01 Paper A criterion of fullness of many-valued systems of propositional logic 1972-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5658065...10 bytes (17 words) - 21:04, 12 December 2023
- system for many-valued logics 2019-01-15 Paper Semantic trees revisited: Some new completeness results 2019-01-15 Paper Combining many-valued and intuitionistic...10 bytes (19 words) - 16:48, 12 December 2023
- A paraconsistent many-valued similarity method for multi-attribute decision making 2021-06-24 Paper Two Consistent Many-Valued Logics for Paraconsistent...10 bytes (17 words) - 11:15, 9 December 2023
- generation of many-valued dynamic logics 2016-12-15 Paper Continuity as a computational effect 2016-12-15 Paper A Tableau System for Quasi-Hybrid Logic 2016-09-05...10 bytes (19 words) - 23:53, 10 December 2023
- for three-valued logics 2018-12-12 Paper Natural deduction for three-valued regular logics 2018-09-20 Paper Natural Deduction for Four-Valued both Regular...10 bytes (18 words) - 12:22, 28 January 2024
- Orthomodular Logic 2013-04-11 Paper Quantum computational logic with mixed states 2013-04-09 Paper Equational characterization for two-valued states in orthomodular...10 bytes (16 words) - 22:46, 11 December 2023
- 2022-10-28 Paper R-Calculus, III: Post Three-Valued Logic 2022-08-11 Paper R-Calculus, II: Many-Valued Logics 2022-02-21 Paper A representative model based...10 bytes (18 words) - 13:25, 11 December 2023
