We stand with Ukraine  

George Voutsadakis

According to our database1, George Voutsadakis authored at least 40 papers between 2002 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2017

2016
Categorical abstract algebraic logic weakly referential π-institutions.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2016

Categorical abstract algebraic logic: skywatching in semilattice systems.
[BibTeX]
[DOI]
George Voutsadakis
Log. J. IGPL, 2016

2015
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Notre Dame J. Formal Log., 2015

2014
Categorical Abstract Algebraic Logic: Behavioral π-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Stud Logica, 2014

2013
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.
[BibTeX]
[DOI]
George Voutsadakis
Stud Logica, 2013

Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2013

Malinowski modalization, modalization through fibring and the Leibniz hierarchy.
[BibTeX]
[DOI]
Manuel António Martins
,
George Voutsadakis
Log. J. IGPL, 2013

2012
CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2012

Secrecy Logic: Protoalgebraic S-Secrecy Logics.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2012

2009
Package-Based Description Logics.
[BibTeX]
[DOI]
Jie Bao
,
George Voutsadakis
,
Giora Slutzki
,
Vasant G. Honavar
Proceedings of the Modular Ontologies: Concepts, 2009

Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2009

Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2009

2008
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Log. J. IGPL, 2008

Federated ALCI: Preliminary Report.
[BibTeX]
[DOI]
George Voutsadakis
,
Giora Slutzki
,
Vasant G. Honavar
,
Jie Bao
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

On the Decidability of Role Mappings between Modular Ontologies.
[BibTeX]
[DOI]
Jie Bao
,
George Voutsadakis
,
Giora Slutzki
,
Vasant G. Honavar
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.
[BibTeX]
[DOI]
George Voutsadakis
Stud Logica, 2007

Dedekind-MacNeille Completion of <i>n</i> -ordered Sets.
[BibTeX]
[DOI]
George Voutsadakis
Order, 2007

Categorical abstract algebraic logic: The categorical Suszko operator.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2007

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2007

2006
Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties.
[BibTeX]
[DOI]
George Voutsadakis
Reports Math. Log., 2006

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties.
[BibTeX]
[DOI]
George Voutsadakis
Order, 2006

Categorical Abstract Algebraic Logic: More on Protoalgebraicity.
[BibTeX]
[DOI]
George Voutsadakis
Notre Dame J. Formal Log., 2006

Categorical abstract algebraic logic: The largest theory system included in a theory family.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2006

Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Categorical Struct., 2006

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Categorical Struct., 2006

2005
Categorical Abstract Algebraic Logic: Models of π-Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Notre Dame J. Formal Log., 2005

Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence".
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2005

Categorical abstract algebraic logic: Gentzen <i>pi</i> -institutions and the deduction-detachment property.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2005

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.
[BibTeX]
[DOI]
George Voutsadakis
Arch. Math. Log., 2005

Categorical Abstract Algebraic Logic: (J, <i>N</i>)-Algebraic Systems.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Categorical Struct., 2005

2004
On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs.
[BibTeX]
[DOI]
George Voutsadakis
Int. J. Neural Syst., 2004

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.
[BibTeX]
[DOI]
George Voutsadakis
Log. J. IGPL, 2004

A Categorical Approach to Threshold Agent Networks.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Categorical Struct., 2004

2003
Categorical Abstract Algebraic Logic Metalogical Properties.
[BibTeX]
[DOI]
George Voutsadakis
Stud Logica, 2003

Categorical Abstract Algebraic Logic: Equivalent Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Stud Logica, 2003

Categorical abstract algebraic logic: The criterion for deductive equivalence.
[BibTeX]
[DOI]
George Voutsadakis
Math. Log. Q., 2003

Threshold agent networks: an approach to modelling and simulation.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Math. Comput., 2003

2002
Polyadic Concept Analysis.
[BibTeX]
[DOI]
George Voutsadakis
Order, 2002

Categorical Abstract Algebraic Logic: Algebraizable Institutions.
[BibTeX]
[DOI]
George Voutsadakis
Appl. Categorical Struct., 2002


  Loading...