38 search results - page 1 / 8 » Categorical Abstract Algebraic Logic: Partially Ordered Alge... |
ACS
2006
13 years 5 months ago
2006
ACS
2002
13 years 5 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...
MLQ
2006
13 years 5 months ago
2006
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
ORDER
2010
13 years 3 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...