23 search results - page 2 / 5 » Categorical Abstract Algebraic Logic: Algebraizable Institut... |
APAL
2010
13 years 5 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
13 years 5 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
MLQ
2006
13 years 4 months ago
2006
MLQ
2007
13 years 4 months ago
2007
JUCS
2006
13 years 4 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...