George Voutsadakis

发表

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

George Voutsadakis, 2007, Math. Log. Q..

Secrecy-Preserving Reasoning Over Entailment Systems: Theory and Applications

Vasant Honavar, Giora Slutzki, George Voutsadakis, 2008 .

On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs

George Voutsadakis, 2004, Int. J. Neural Syst..

Categorical Abstract Algebraic Logic: Behavioral π-Institutions

George Voutsadakis, 2014, Stud Logica.

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

George Voutsadakis, G. Voutsadakis, 2004, Log. J. IGPL.

CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization

George Voutsadakis, 2012, Reports Math. Log..

Categorical Abstract Algebraic Logic: Equivalential π-Institutions

George Voutsadakis, 2008 .

Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems

George Voutsadakis, 2006, Appl. Categorical Struct..

A Categorical Approach to Threshold Agent Networks

George Voutsadakis, 2004, Appl. Categorical Struct..

Introduction to Computational Complexity

George Voutsadakis, 2014 .

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity

George Voutsadakis, 2007, Stud Logica.

Categorical Abstract Algebraic Logic: Equivalent Institutions

George Voutsadakis, G. Voutsadakis, 2003, Stud Logica.

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

George Voutsadakis, G. Voutsadakis, 2005, Arch. Math. Log..

Introduction to Real Analysis

George Voutsadakis, 2014 .

Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property

George Voutsadakis, 2005, Math. Log. Q..

Secrecy Logic: Protoalgebraic S-Secrecy Logics

George Voutsadakis, 2012, Reports Math. Log..

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

George Voutsadakis, 2018 .

Malinowski modalization, modalization through fibring and the Leibniz hierarchy

Manuel A. Martins, George Voutsadakis, G. Voutsadakis, 2013, Log. J. IGPL.

Dedekind–MacNeille Completion of n-ordered Sets

George Voutsadakis, G. Voutsadakis, 2007, Order.

Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions

George Voutsadakis, 2015, Notre Dame J. Formal Log..

Federated ALCI: Preliminary Report

Vasant Honavar, Giora Slutzki, Jie Bao, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence"

George Voutsadakis, 2005, Math. Log. Q..

Federated description logics for the semantic web

Vasant Honavar, Giora Slutzki, George Voutsadakis, 2010 .

Categorical Abstract Algebraic Logic Metalogical Properties

George Voutsadakis, 2003, Stud Logica.

Categorical Abstract Algebraic Logic: Referential Algebraic Semantics

George Voutsadakis, G. Voutsadakis, 2013, Studia Logica.

Package-Based Description Logics

Vasant Honavar, Giora Slutzki, Jie Bao, 2009, Modular Ontologies.

On the Decidability of Role Mappings between Modular Ontologies

Vasant Honavar, Giora Slutzki, Jie Bao, 2008, AAAI.

Categorical abstract algebraic logic: The categorical Suszko operator

George Voutsadakis, 2007, Math. Log. Q..

Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions

George Voutsadakis, 2013, Math. Log. Q..

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties

George Voutsadakis, G. Voutsadakis, 2007, Order.

Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions

George Voutsadakis, 2009, Reports Math. Log..

Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence

George Voutsadakis, 2009, Math. Log. Q..

Threshold agent networks: an approach to modelling and simulation

George Voutsadakis, G. Voutsadakis, 2003, Appl. Math. Comput..

Categorical Abstract Algebraic Logic: (ℐ,N)-Algebraic Systems

George Voutsadakis, 2005, Appl. Categorical Struct..

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems

George Voutsadakis, 2006, Appl. Categorical Struct..

Categorical Abstract Algebraic Logic: Models of π-Institutions

George Voutsadakis, 2005, Notre Dame J. Formal Log..

Polyadic Concept Analysis

George Voutsadakis, G. Voutsadakis, 2002, Order.

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

George Voutsadakis, 2006, Math. Log. Q..

Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties

George Voutsadakis, 2006, Reports Math. Log..

Categorical abstract algebraic logic: The criterion for deductive equivalence

George Voutsadakis, 2003, Math. Log. Q..

Categorical Abstract Algebraic Logic: More on Protoalgebraicity

George Voutsadakis, 2006, Notre Dame J. Formal Log..

Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions

George Voutsadakis, G. Voutsadakis, 2008, Log. J. IGPL.

Reasoning with F-ALCI Over Lattices

Vasant Honavar, Giora Slutzki, George Voutsadakis, 2009 .

Package-based Description Logics: Syntax, Semantics and Complexity

Vasant Honavar, Giora Slutzki, Jie Bao, 2008 .

n-closure systems and n-closure operators

George Voutsadakis, G. Voutsadakis, 2006 .

Introduction to Set Theory

George Voutsadakis, G. Voutsadakis, 2021, A Problem Based Journey from Elementary Number Theory to an Introduction to Matrix Theory.

Privacy-Preserving Reasoning for Hypergraphical Knowledge Bases

Vasant Honavar, Giora Slutzki, Jie Bao, 2008 .

F-ALCI : A Fully Contextualized , Federated Logic for the Semantic Web

Vasant Honavar, Giora Slutzki, Jie Bao, 2008 .

Universal Dialgebra: Unifying Universal Algebra and Coalgebra

George Voutsadakis, 2009 .

Distributed Reasoning with Modular Ontologies

Vasant Honavar, Giora Slutzki, Jie Bao, 2007 .