Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

ACS
2006

favoriteEmaildiscussreport

124views Distributed And Parallel Com...» more ACS 2006»

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems

13 years 11 months ago

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems

Download voutsadakis.com

George Voutsadakis

Real-time Traffic

ACS 2006 | ACS 2007 |

claim paper

Related Content

» Categorical Abstract Algebraic Logic Algebraizable Institutions

» Categorical abstract algebraic logic The largest theory system included in a theory family

» Categorical Abstract Algebraic Logic Leibniz Equality and Homomorphism Theorems

» Quantum Logic in Dagger Kernel Categories

» A Categorical View on Algebraic Lattices in Formal Concept Analysis

» Presenting functors on manysorted varieties and applications

» Theoroidal Maps as Algebraic Simulations

» The Structure of FirstOrder Causality

» Categorical and Kripke Semantics for Constructive S4 Modal Logic

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	ACS
Authors	George Voutsadakis

Comments (0)