532 search results - page 2 / 107 » The Logic of Quasi-MV Algebras |
148
Voted
ACS
2002
15 years 1 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
14 years 11 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
104
click to vote
WOLLIC
2009
Springer
15 years 8 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...
134
click to vote
AMAST
2006
Springer
15 years 5 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
14 years 11 months ago
2009
