1174 search results - page 3 / 235 » A Logical Approach to Abstract Algebra |
AML
2010
13 years 10 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
IANDC
2010
13 years 8 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
ECEASST
2010
13 years 7 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
EUSFLAT
2009
13 years 7 months ago
2009