7th World School on Universal Logic
April 1-5, 2022, Crete
Here is the list of tutorial with acronyms:
Here is the list of tutorial with acronyms:
- CAT: Categories of Logics and Translations
- VAR: Logics of Variable Inclusion
- FOR: Formal approaches to inconsistent science
- UEC: Universal Equational Consequence
- OCC: Occurrences and Substitutions
- UNI: Introduction to Universal Logic
- MOP: Monism vs Pluralism in the Philosophy of Logic
- PRD: Analysing proving discourse - a dialogical perspective
- ANA: Analogy
- BRI: Bridges between Semantics and Proof-Calculi
- INT: Intensional Logic
- DIA: Generic Figures: using Category Theory to Model Diagrammatic Logic
- EQU: Equality Proof-Theoretic Considerations