38 search results - page 1 / 8 » Categorical Abstract Algebraic Logic: Partially Ordered Alge... |
ACS
2006
13 years 11 months ago
2006
ACS
2002
13 years 10 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 10 months ago
2006
ACS
2006
13 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
ORDER
2010
13 years 9 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 ...