Search results
From MaRDI portal
- Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation 2023-07-06 Paper Algebras from Semiconcepts in Rough Set Theory 2023-06-28...10 bytes (13 words) - 09:51, 6 October 2023
- Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation 2023-07-06 Paper Transformation Semigroups for Rough Sets 2023-06-28...10 bytes (15 words) - 19:59, 26 December 2023
- constrictible falsity 2024-05-10 Paper Double negation as minimal negation 2024-02-06 Paper On the provable contradictions of the connexive logics \(\mathbf{C}\)...10 bytes (13 words) - 09:50, 24 September 2023
- implications from a formal context: unifying the basic approaches 2025-01-08 Paper Minimal solutions of fuzzy relation equations via maximal independent elements 2024-11-28...10 bytes (13 words) - 13:12, 11 December 2023
- probabilistic uncertainty 2017-07-12 Paper Description logics of minimal knowledge and negation as failure 2017-06-13 Paper https://portal.mardi4nfdi.de/entity/Q5740438...10 bytes (15 words) - 08:58, 25 September 2023
- negatively equivalent extensions of minimal logic 2001-10-21 Paper Logic of classical refutability and class of extensions of minimal logic 2001-01-01 Paper https://portal...10 bytes (16 words) - 16:23, 11 December 2023
- de/entity/Q3477997 1990-01-01 Paper On the relationship between CWA, minimal model, and minimal herbrand model semantics 1990-01-01 Paper An algorithm to compute...10 bytes (15 words) - 13:53, 8 December 2023
- between CWA, minimal model, and minimal herbrand model semantics 1990-01-01 Paper On the relationship between circumscription and negation as failure 1989-01-01...10 bytes (13 words) - 08:45, 24 September 2023
- for \(k\)-CNF formulas 2009-04-28 Paper Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments 2008-07-10 Paper A Well-Mixed...10 bytes (13 words) - 08:37, 7 October 2023
- between CWA, minimal model, and minimal herbrand model semantics 1990-01-01 Paper On the relationship between circumscription and negation as failure 1989-01-01...10 bytes (15 words) - 14:33, 8 December 2023
- Paper Ivan Niven 2024-07-16 Paper Distributed Joins and Data Placement for Minimal Network Traffic 2021-11-25 Paper Ramsey theory for hypergroups 2020-03-25...10 bytes (16 words) - 22:06, 24 September 2023
- de/entity/Q4218945 1998-11-15 Paper Constructive negation by pruning 1997-09-04 Paper Combining explicit negation and negation by failure via Belnap's logic 1997-02-28...10 bytes (13 words) - 15:15, 6 October 2023
- Publication Date of Publication Type Minimal solutions of fuzzy relation equations via maximal independent elements 2024-11-28...10 bytes (13 words) - 19:53, 24 September 2023
- Date of Publication Type Notes on the semantics for the logic with semi-negation 2012-09-18 Paper https://portal.mardi4nfdi.de/entity/Q4408737 2003-10-21...10 bytes (13 words) - 00:44, 23 September 2023
- for \(k\)-CNF formulas 2009-04-28 Paper Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments 2008-07-10 Paper Mathematical...10 bytes (13 words) - 03:34, 9 December 2023
- Enumeration of Minimal Dominating Sets 2013-03-21 Paper Computing implications with negation from a formal context 2012-06-20 Paper Enumeration of Minimal Dominating...10 bytes (13 words) - 19:18, 8 December 2023
- intuitionistic logic 2018-09-19 Paper Subminimal negation 2018-02-23 Paper Positive Formulas in Intuitionistic and Minimal Logic 2015-12-03 Paper Duality and Universal...10 bytes (21 words) - 00:17, 12 December 2023
- 2015-09-17 Paper An inclusion theorem for defeasible logics 2015-09-17 Paper Minimal change: relevance and recovery revisited 2015-08-27 Paper Efficient Computation...10 bytes (15 words) - 13:36, 11 December 2023
- Paper The 6\(\pi\) theorem about minimal surfaces 1985-01-01 Paper The cusp catastrophe of Thom in the bifurcation of minimal surfaces 1984-01-01 Paper Church's...10 bytes (15 words) - 09:29, 9 December 2023
- encryption for randomized functionalities in the private-key setting from minimal assumptions 2018-04-26 Paper Non-interactive multiparty computation without...10 bytes (13 words) - 08:55, 6 October 2023
