23 search results - page 2 / 5 » Categorical Abstract Algebraic Logic: Algebraizable Institut... |
APAL
2010
14 years 11 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
ACS
2006
14 years 11 months ago
2006
cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006
60
Voted
MLQ
2006
14 years 11 months ago
2006
93
Voted
MLQ
2007
14 years 11 months ago
2007
94
Voted
JUCS
2006
14 years 11 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...