George Voutsadakis Assistant Professor (with Tenure) School of Mathematics and Computer Science Lake Superior State University

Research Interests

• Algebraic Logic
• Categorical and Universal Algebra
• Ordered Structures
  
• Modular Description Logics
• Privacy-Preserving Reasoning
  

Mathematical Genealogy

Technical Reports

• On Some Operations on Classes of Algebras and Coalgebras from a Bialgebraic Viewpoint pdf or postscript
• Probablistic Threshold Agent Networks pdf or postscript
• On the Categorical Mobius Calculus pdf   or postscript
• Combinatorial Analysis of the State Space Structure of Finite Automata Networks pdf or postscript
• Privacy-Preserving Reasoning for Hypergraphical Knowledge Bases (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf or postscript
• Secrecy Preserving Reasoning Over Entailment Systems Theory and Applications (with Giora Slutzki and Vasant Honavar) pdf or postscript
• Secrecy Preserving Reasoning Using Secrecy Envelopes (with Giora Slutzki and Vasant Honavar) pdf or postscript

Preprints

• Algebraic Logic
• Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients pdf or postscript
• Categorical Abstract Algebraic Logic: Operations on Classes of Models pdf or postscript
• Categorical Abstract Algebraic Logic: Weakly Algebraizable pi-Institutions pdf or postscript
• Categorical Abstract Algebraic Logic: Selfextensional pi-Institutions with Implication pdf or postscript
• Categorical Abstract Algebraic Logic: Selfextensional pi-Institutions with Conjunction pdf or postscript
• Categorical Abstract Algebraic Logic: Local Deduction Theorems for pi-Institutions pdf or postscript
• Categorical Abstract Algebraic Logic: Algebraic Semantics for pi-Institutions pdf or postscript
• Categorical Abstract Algebraic Logic: Fibring of pi-Institutions pdf or postscript
• Categorical Abstract Algebraic Logic: Equivalence of Closure Systems pdf or postscript
• Categorical Abstract Algebraic Logic: Truth Equational pi-Institutions pdf or postscript
• Malinowski Modalization, Modalization through Fibring and the Leibniz Hierarchy (with Manuel António Martins) pdf or postscript
  
  

• Algebra
• 
  
  
 
• Order
• An  Equational Theory of n-Lattices pdf or postscript
• Chu Spaces, Concept Lattices and Information Systems in n Dimensions pdf or postscript

 
• Modular Description Logics
• Distributed Reasoning with Modular Ontologies (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf or postscript
• Package-based Description Logics: Syntax, Semantics and Complexity (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf or postscript
  
• F-ALCI: A Fully Contextualized, Federated Logic for the Semantic Web (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf or postscript
• A Federated Tableau Algorithm for F-ALCI (with Giora Slutzki, Jie Bao and Vasant Honavar) pdf or postscript
• Reasoning with F-ALCI Over Lattices (with Giora Slutzki and Vasant Honavar) pdf or postscript
  
  
• Secrecy Preserving Reasoning
• 
  

Papers 

• A duality theory for bilattices, Algebra Universalis, 43 (2000), 109-125. (with B. Mobasher, D. Pigozzi, and G. Slutzki). pdf
• Categorical Abstract Algebraic Logic: algebraizable institutions, Applied Categorical Structures, 10 (6) (2002), 531-568. pdf  
• Polyadic Concept Analysis, Order, 19 (3) (2002), 295-304 pdf
• Categorical Models and Quasigroup Homotopies , Theory and Applications of Categories, 11 (1) (2003), 1-14 pdf , ps , dvi
• Threshold Agent Networks An Approach to Modelling and Simulation, Applied Mathematics and Computation, 142 (2003), 521-543 pdf
• A Categorical Construction of a Variety of Clone Algebras, Scientiae Mathematicae Japonicae, 8 (2003), 215-225  pdf  
• Categorical Abstract Algebraic Logic: metalogical properties , Studia Logica, 74 (2003), 369-398 pdf , ps
• Categorical Abstract Algebraic Logic: equivalent institutions, Studia Logica, 74 (2003), 275-311 pdf  
• A Categorical Approach to Threshold Agent Networks,  Applied Categorical Structures, 12 (2) (2004), 203-223 pdf
• On the Categorical Algebras of First-Order Logic, Scientiae Mathematicae Japonicae, 10 (2004), 47-54 pdf
• On the Limit Cycle Structure of Threshold Boolean Networks over Complete Graphs, International Journal of Neural Systems, 14 (3) (2004), 209-215 pdf
• The Categories of Finitary Binary Functions and Finite Automata Networks, Scientiae Mathematicae Japonicae, 11 (2004), 233-240 pdf
• Categorical Abstract Algebraic Logic: categorical algebraization of equational logic, Logic Journal of the IGPL, 12 (4) (2004), 313-333 pdf or postscript  
• Categorical Abstract Algebraic Logic: categorical algebraization of first-order logic without terms, Archive for Mathematical Logic, 44 (4) (2005), 473-491 pdf
• Categorical Abstract Algebraic Logic: Protoalgebraicity and Leibniz Theory Systems, Scientiae Mathematicae Japonicae, 62 (1) (2005), 109-117 pdf
  
• Remarks on Classifications and Adjunctions, Rendiconti del Circolo Matematico di Palermo, 54 (2) (2005), 50-70 pdf 
• Categorical Abstract Algebraic Logic: (I, N)-Algebraic Systems, Applied Categorical Structures, 13 (3) (2005), 265-280 pdf
  
• Categorical Abstract Algebraic Logic: Gentzen pi-institutions and the deduction-detachment property, Mathematical Logic Quarterly, 51 (6) (2005), 570-578 pdf
• Categorical Abstract Algebraic Logic: Models of  pi-institutions, Notre Dame Journal of Formal Logic, 46 (4) (2005), 439-460 pdf
• Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems, Applied Categorical Structures, 14 (1) (2006), 81-98 pdf
• Categorical Abstract Algebraic Logic: The Largest Theory System Included in a Theory Family, Mathematical Logic Quarterly, 52 (3) (2006), 288-294 pdf
• Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties, Reports on Mathematical Logic, 41 (2006), 31-62 pdf
  
• n-Closure Systems and n-Closure Operators, Algebra Universalis, 55 (2006), 369-386 pdf
• Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems, Applied Categorical Structures, 14 (4) (2006), 357-376 pdf
• Categorical Abstract Algebraic Logic: More on Protoalgebraicity, Notre Dame Journal of Formal Logic, 47 (4) (2006), 487-514 pdf
  
• Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties, Order, 23 (4) (2006), 297-319  pdf
• Categorical Abstract Algebraic Logic: Structure Systems and Łoś' Theorem, Far East Journal of Mathematical Sciences, 24 (1) (2007), 73-98 pdf or postscript
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, Communications in Algebra, 35 (1) (2007), 1-10 pdf
  
• Categorical Abstract Algebraic Logic: Operators On Classes of Structure Systems, Scientiae Mathematicae Japonicae, 65 (1) (2007), 11-25 pdf
• Categorical Abstract Algebraic Logic: The Diagram and Reduction Operator Lemmas, Mathematical Logic Quarterly, 53 (2) (2007), 147-161 pdf 
• Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, Studia Logica, 85 (2) (2007), 217-251 pdf
• Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution, Reports on Mathematical Logic, 42 (2007), 19-46 pdf
• Categorical Abstract Algebraic Logic: Gentzen pi-institutions, Scientiae Mathematicae Japonicae, e-2007, 407-422 pdf
  
• Categorical Abstract Algebraic Logic: The Categorical Suszko Operator, Mathematical Logic Quarterly, 53 (6) (2007), 616-635 pdf 
• Dedekind-MacNeille Completion of n-Ordered Sets, Order, 24 (1) (2007), 15-29 pdf
• Categorical Abstract Algebraic Logic: Equivalential pi-Institutions, Australasian Journal of Logic, 6 (2008), 24p pdf
• Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions, Logic Journal of the IGPL, 16 (3) (2008), 233-248 pdf or postscript
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems, Communications in Algebra, 36 (8) (2008), 3093-3112 pdf
• Categorical Abstract Algebraic Logic: Structurality, Protoalgebraicity and Correspondence, Mathematical Logic Quarterly, 55 (1) (2009), 51-67 pdf
• Categorical Abstract Algebraic Logic: Syntactically Algebraizable pi-Institutions, Reports on Mathematical Logic, 44 (2009), 105-151 pdf or postscript
• Categorical Abstract Algebraic Logic: Subdirect Representation for Classes of Structure Systems, Advances and Applications in Mathematical Sciences, 1 (1) (2009), 37-64 pdf
• Package-based Description Logics, in Modular Ontologies, H. Stuckenschmidt et al. (eds.), Lecture Notes in Computer Science, 5445 (2009), 349-371 (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf
• Universal Dialgebra: Unifying Universal Algebra and Coalgebra, Far East Journal of Mathematical Sciences, 44 (1) (2010), 1-53 pdf or postscript
• Probabilistic Federated ALCI, Advances in Computer Science and Engineering, 5 (2) (2010), 131-172 pdf
• Secrecy Logic: S-Secrecy Structures, Turkish Journal of Mathematics, 36 (1) (2012), 1-27 pdf (extended preprint version pdf)
• Categorical Abstract Algebraic Logic: Behavioral pi-Institutions (to appear in Studia Logica) pdf or postscript
• Categorical Abstract Algebraic Logic: Referential Algebraic Semantics (to appear in Studia Logica) pdf or postscript
• Secrecy Logic: Protoalgebraic S-Secrecy Logics (to appear in the Reports on Mathematical Logic) pdf or postscript
• Categorical Abstract Algebraic Logic: Generalized Tarski Congruence Systems (to appear in Advances in Mathematics Research. Volume 17) pdf or postscript
• Categorical Abstract Algebraic Logic: Coordinatization is Algebraization (to appear in the Reports on Mathematical Logic) pdf or postscript
• Categorical Abstract Algebraic Logic: On Admissible Equivalence Systems (to appear in Advances and Applications in Mathematical Sciences) pdf or postscript
• F-ALCIK: Fully Contextualized Federated ALCI with Epistemic Operators (to appear in Advances in Computer Science and Engineering) pdf or postscript
• Categorical Abstract Algebraic Logic: Protoalgebraic Classes of Structure Systems (to appear in the Pioneer Journal of Mathematics and Mathematical Sciences) pdf or postscript
• Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors (to appear in the Armenian Journal of Mathematics) pdf or postscript

Non-Papers

• Categorical Abstract Algebraic Logic: the criterion for deductive equivalence, Mathematical Logic Quarterly, 49 (4) (2003), 347-352 pdf
  
• Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence", Mathematical Logic Quarterly, 51 (6) (2005), 644-644 pdf
  

Computer Science (Journals, Conferences, etc.)

• On The Decidability of Role Mappings Between Modular Ontologies (with Jie Bao, Giora Slutzki and Vasant Honavar), Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), July 13-17, Chicago, Illinois, USA pdf or postscript
• Federated ALCI: Preliminary Report (with Jie Bao, Giora Slutzki and Vasant Honavar), International Conference on Intelligent Agent Technology (WI'08), December 9-12, Sydney, Australia (Short Paper) pdf or postscript
• Package-based Description Logics, in Modular Ontologies, H. Stuckenschmidt et al. (eds.), Lecture Notes in Computer Science, 5445 (2009), 349-371 (with Jie Bao, Giora Slutzki and Vasant Honavar) pdf
• Comparing Availability in Controlled Query Evaluation Using Unordered Query Evaluation for Known Potential Secrets, International Workshop on Logic in Databases (LID 2009), October 29, Roskilde University, Denmark pdf or postscript