3624 search results - page 34 / 725 » Abstract Algebraic Logic |
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
165
click to vote
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
124
click to vote
DLT
1993
15 years 3 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
126
Voted
SLOGICA
2011
14 years 9 months ago
2011
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
127
click to vote
AB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...