503 search results - page 9 / 101 » Interpolative Boolean Logic |
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalize them to n-ary fuzzy logic and neutrosophic logi...
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic