Search results
From MaRDI portal
- Minimum Weight Flat Antichains of Subsets 2017-03-31 Paper On the implication problem for cardinality constraints and functional dependencies 2015-06-17...10 bytes (13 words) - 12:21, 6 October 2023
- Publication Date of Publication Type The implication problem for functional dependencies and variants of marginal distribution...10 bytes (13 words) - 00:05, 25 September 2023
- Boyce-Codd-Heath Normal Form for SQL 2011-05-27 Paper Solving the Implication Problem for XML Functional Dependencies with Properties 2010-09-29 Paper On...10 bytes (15 words) - 13:05, 7 October 2023
- and the bottom-up design of computing policies 2021-01-15 Paper The Implication Problem of Computing Policies 2020-01-14 Paper Inferring strings from cover...10 bytes (13 words) - 09:52, 7 October 2023
- Publication Date of Publication Type Solving the Implication Problem for XML Functional Dependencies with Properties 2010-09-29 Paper On...10 bytes (13 words) - 13:41, 6 October 2023
- Publication Date of Publication Type On the conditional independence implication problem: a lattice-theoretic approach 2015-06-26 Paper On the completeness...10 bytes (13 words) - 23:56, 24 September 2023
- 1999-09-15 Paper Implication problems for functional constraints on databases supporting complex objects 1998-03-24 Paper Implication problems for functional...10 bytes (13 words) - 22:38, 24 September 2023
- Publication Date of Publication Type The Implication Problem of Computing Policies 2020-01-14 Paper...10 bytes (13 words) - 21:30, 27 December 2023
- Publication Date of Publication Type On the conditional independence implication problem: a lattice-theoretic approach 2015-06-26 Paper...10 bytes (13 words) - 17:49, 6 October 2023
- molecules in linguistic truth-valued lattice implication algebra 2016-03-17 Paper Relations between lattice implication algebras and BCK algebras. 2016-03-15...10 bytes (13 words) - 07:29, 9 December 2023
- equality and effective implication in formal logic. 1935-01-01 Paper Postulates for effective equality and effective implication in formal logic. 1935-01-01...10 bytes (16 words) - 07:47, 12 December 2023
- 2012-10-05 Paper Formalization of implication based fuzzy reasoning method 2012-09-11 Paper Theory of fuzzy implication lattices 2012-06-01 Paper Perturbation...10 bytes (13 words) - 19:29, 11 December 2023
- Double implication and beyond. 1931-01-01 Paper How a logic of ``propositions fails of complete generality. 1931-01-01 Paper Double Implication and Beyond...10 bytes (15 words) - 17:54, 6 October 2023
- Paper Pure three-valued Łukasiewiczian implication 1966-01-01 Paper Pure denumerable Łukasiewiczian implication 1966-01-01 Paper...10 bytes (16 words) - 09:04, 7 October 2023
- de/entity/Q5601462 1967-01-01 Paper Connexive implication 1966-01-01 Paper Pure three-valued Łukasiewiczian implication 1966-01-01 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 09:25, 25 September 2023
- 1944-01-01 Paper The decision problem for some classes of sentences without quantifiers 1943-01-01 Paper A solution of the decision problem for the Lewis systems...10 bytes (18 words) - 09:29, 7 October 2023
- implicative filters in lattice implication algebras 2004-05-18 Paper On fuzzy fantastic filters of lattice implication algebras 2004-03-29 Paper https://portal...10 bytes (15 words) - 14:51, 6 December 2023
- filters on lattice implication algebras. 2014-11-03 Paper New active set identification for general constrained optimization and minimax problems 2014-09-23 Paper...10 bytes (14 words) - 01:48, 12 December 2023
- Paper On structural completeness versus almost structural completeness problem: A discriminator varieties case study 2019-01-08 Paper The lattice of congruences...10 bytes (14 words) - 16:55, 8 December 2023
- Notes on ``Pseudo-t-norms and implication operators on a complete Brouwerian lattice and ``Pseudo-t-norms and implication operators: direct products and...10 bytes (14 words) - 16:23, 6 October 2023
