• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 40 matches

• 2017
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem. Reports Math. Log. 52: 69-82 (2017)
• 2016
• 
  George Voutsadakis:
  Categorical abstract algebraic logic: skywatching in semilattice systems. Log. J. IGPL 24(2): 138-155 (2016)
• 
  George Voutsadakis:
  Categorical abstract algebraic logic weakly referential π-institutions. Reports Math. Log. 51: 91-103 (2016)
• 2015
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions. Notre Dame J. Formal Log. 56(2): 351-378 (2015)
• 2014
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Behavioral π-Institutions. Stud Logica 102(3): 617-646 (2014)
• 2013
• 
  Manuel António Martins, George Voutsadakis:
  Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Log. J. IGPL 21(5): 836-852 (2013)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions. Math. Log. Q. 59(3): 177-200 (2013)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Referential Algebraic Semantics. Stud Logica 101(4): 849-899 (2013)
• 2012
• 
  George Voutsadakis:
  Secrecy Logic: Protoalgebraic S-Secrecy Logics. Reports Math. Log. 47: 3-28 (2012)
• 
  George Voutsadakis:
  CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. Reports Math. Log. 47: 125-145 (2012)
• 2009
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence. Math. Log. Q. 55(1): 51-67 (2009)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions. Reports Math. Log. 44: 105-151 (2009)
• 
  Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar:
  Package-Based Description Logics. Modular Ontologies 2009: 349-371
• 2008
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. Log. J. IGPL 16(3): 233-248 (2008)
• 
  Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar:
  On the Decidability of Role Mappings between Modular Ontologies. AAAI 2008: 400-405
• 
  George Voutsadakis, Giora Slutzki, Vasant G. Honavar, Jie Bao:
  Federated ALCI: Preliminary Report. Web Intelligence 2008: 575-578
• 2007
• 
  George Voutsadakis:
  Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. Math. Log. Q. 53(2): 147-161 (2007)
• 
  George Voutsadakis:
  Categorical abstract algebraic logic: The categorical Suszko operator. Math. Log. Q. 53(6): 616-635 (2007)
• 
  George Voutsadakis:
  Dedekind-MacNeille Completion of n -ordered Sets. Order 24(1): 15-29 (2007)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. Stud Logica 85(2): 215-249 (2007)
• 2006
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. Appl. Categorical Struct. 14(1): 81-98 (2006)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems. Appl. Categorical Struct. 14(4): 357-376 (2006)
• 
  George Voutsadakis:
  Categorical abstract algebraic logic: The largest theory system included in a theory family. Math. Log. Q. 52(3): 288-294 (2006)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: More on Protoalgebraicity. Notre Dame J. Formal Log. 47(4): 487-514 (2006)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties. Order 23(4): 297-319 (2006)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties. Reports Math. Log. 41: 31-62 (2006)
• 2005
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. Appl. Categorical Struct. 13(3): 265-280 (2005)
• 
  George Voutsadakis:
  Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Arch. Math. Log. 44(4): 473-491 (2005)
• 
  George Voutsadakis:
  Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. Math. Log. Q. 51(6): 570-578 (2005)
• 
  George Voutsadakis:
  Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". Math. Log. Q. 51(6): 644 (2005)

skipping 10 more matches