George Voutsadakis

41 papers A* 1Journal 38Unranked 1
YearRankTypeTitle / Venue / Authors
2017 J jnl
Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem.
Reports Math. Log.
George Voutsadakis
2016 J jnl
Categorical abstract algebraic logic weakly referential π-institutions.
Reports Math. Log.
George Voutsadakis
2016 J jnl
Categorical abstract algebraic logic: skywatching in semilattice systems.
Log. J. IGPL
George Voutsadakis
2015 J jnl
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions.
Notre Dame J. Formal Log.
George Voutsadakis
2014 J jnl
Categorical Abstract Algebraic Logic: Behavioral π-Institutions.
Stud Logica
George Voutsadakis
2013 J jnl
Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions.
Math. Log. Q.
George Voutsadakis
2013 J jnl
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.
Stud Logica
George Voutsadakis
2013 J jnl
Malinowski modalization, modalization through fibring and the Leibniz hierarchy.
Log. J. IGPL
Manuel António Martins, George Voutsadakis
2012 J jnl
CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization.
Reports Math. Log.
George Voutsadakis
2012 J jnl
Secrecy Logic: Protoalgebraic S-Secrecy Logics.
Reports Math. Log.
George Voutsadakis
2009 J jnl
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.
Math. Log. Q.
George Voutsadakis
2009 J jnl
Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions.
Reports Math. Log.
George Voutsadakis
2009 — ch.
Package-Based Description Logics.
Modular Ontologies
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar
2008 J jnl
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.
Log. J. IGPL
George Voutsadakis
2008 J jnl
Categorical Abstract Algebraic Logic: Equivalential π-Institutions.
Australas. J. Log.
George Voutsadakis
2008 — conf
Federated ALCI: Preliminary Report.
Web Intelligence
George Voutsadakis, Giora Slutzki, Vasant G. Honavar, Jie Bao
2008 A* conf
On the Decidability of Role Mappings between Modular Ontologies.
AAAI
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar
2007 J jnl
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.
Stud Logica
George Voutsadakis
2007 J jnl
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.
Math. Log. Q.
George Voutsadakis
2007 J jnl
Categorical abstract algebraic logic: The categorical Suszko operator.
Math. Log. Q.
George Voutsadakis
2007 J jnl
Dedekind-MacNeille Completion of
Order
George Voutsadakis
2006 J jnl
Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties.
Reports Math. Log.
George Voutsadakis
2006 J jnl
Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.
Appl. Categorical Struct.
George Voutsadakis
2006 J jnl
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.
Notre Dame J. Formal Log.
George Voutsadakis
2006 J jnl
Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties.
Order
George Voutsadakis
2006 J jnl
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.
Appl. Categorical Struct.
George Voutsadakis
2006 J jnl
Categorical abstract algebraic logic: The largest theory system included in a theory family.
Math. Log. Q.
George Voutsadakis
2005 J jnl
Categorical Abstract Algebraic Logic: (J,
Appl. Categorical Struct.
George Voutsadakis
2005 J jnl
Categorical Abstract Algebraic Logic: Models of π-Institutions.
Notre Dame J. Formal Log.
George Voutsadakis
2005 J jnl
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.
Arch. Math. Log.
George Voutsadakis
2005 J jnl
Categorical abstract algebraic logic: Gentzen
Math. Log. Q.
George Voutsadakis
2005 J jnl
Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence".
Math. Log. Q.
George Voutsadakis
2004 J jnl
A Categorical Approach to Threshold Agent Networks.
Appl. Categorical Struct.
George Voutsadakis
2004 J jnl
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.
Log. J. IGPL
George Voutsadakis
2004 J jnl
On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs.
Int. J. Neural Syst.
George Voutsadakis
2003 J jnl
Categorical Abstract Algebraic Logic Metalogical Properties.
Stud Logica
George Voutsadakis
2003 J jnl
Categorical Abstract Algebraic Logic: Equivalent Institutions.
Stud Logica
George Voutsadakis
2003 J jnl
Categorical abstract algebraic logic: The criterion for deductive equivalence.
Math. Log. Q.
George Voutsadakis
2003 J jnl
Threshold agent networks: an approach to modelling and simulation.
Appl. Math. Comput.
George Voutsadakis
2002 J jnl
Categorical Abstract Algebraic Logic: Algebraizable Institutions.
Appl. Categorical Struct.
George Voutsadakis
2002 J jnl
Polyadic Concept Analysis.
Order
George Voutsadakis