Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems

cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006

• Type: Journal
• Year: 2006
• Where: ACS
• Authors: George Voutsadakis
• Keywords: ACS 2006, ACS 2007, Congruence Systems, Structure Systems, Systems