Has author George Voutsadakis
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "George Voutsadakis"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- tw:Deductive Closure (Draft) +
- On the Decidability of Role Mappings Between Modular Ontologies/Slides +
- Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence" +
- Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties +
- Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions +
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas +
- Categorical abstract algebraic logic: The categorical Suszko operator +
- Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity +
- Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems +
- Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems +
- Categorical abstract algebraic logic: The largest theory system included in a theory family +
- Categorical abstract algebraic logic categorical algebraization of first-order logic without terms +
- A Categorical Approach to Threshold Agent Networks +
- On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs +
- Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic +
- Categorical abstract algebraic logic: The criterion for deductive equivalence +
- Categorical Abstract Algebraic Logic: Equivalent Institutions +
- Categorical Abstract Algebraic Logic Metalogical Properties +
- Categorical Abstract Algebraic Logic: Algebraizable Institutions +
- Polyadic Concept Analysis +
- Federated ALCI: Preliminary Report +
