]> 2012-02-10T09:13:31-05:00 George Voutsadakis George George Voutsadakis Voutsadakis tw:Deductive Closure (Draft) On the Decidability of Role Mappings Between Modular Ontologies/Slides Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence" Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas Categorical abstract algebraic logic: The categorical Suszko operator Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems Categorical abstract algebraic logic: The largest theory system included in a theory family Categorical abstract algebraic logic categorical algebraization of first-order logic without terms A Categorical Approach to Threshold Agent Networks On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic Categorical abstract algebraic logic: The criterion for deductive equivalence Categorical Abstract Algebraic Logic: Equivalent Institutions Categorical Abstract Algebraic Logic Metalogical Properties Categorical Abstract Algebraic Logic: Algebraizable Institutions Polyadic Concept Analysis Federated ALCI: Preliminary Report On the Decidability of Role Mappings Between Modular Ontologies Package-based Description Logics: Syntax, Semantics and Complexity Privacy-Preserving Reasoning for Hypergraphs Package-Based Description Logics Jie Bao Foaf:knows Has author Has identifier Iowa State University Has affiliation Foaf:surname Foaf:name Logic Institution Foaf:interest Foaf:homepage Foaf:firstName Anonymous.png Foaf:depiction Person