3624 search results - page 44 / 725 » Abstract Algebraic Logic |
APAL
2008
15 years 2 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
125
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
ER
2009
Springer
15 years 8 months ago
2009
Springer
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer