532 search results - page 2 / 107 » The Logic of Quasi-MV Algebras |
ACS
2002
13 years 9 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
ECEASST
2010
13 years 7 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
WOLLIC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
EUSFLAT
2009
13 years 7 months ago
2009
