3624 search results - page 69 / 725 » Abstract Algebraic Logic |
147
click to vote
NDJFL
1998
15 years 4 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
124
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
141
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
129
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
115
click to vote
IWCIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from ten...