Universal Logic

To submit a contribution send a one page abstract to: unilog2018@yandex.com by Nov 1st, 2017. All talks dealing with general aspects of logic are welcome, in particular those falling into the categories below. See also the workshops where you can submit your abstract if it is appropriate and the logic prizes. Participants of the school are also strongly encouraged to submit a contribution.

GENERAL TOOLS AND TECHNIQUES

consequence operator
diagrams
multiple-conclusion logic
labelled deductive systems
Kripke structures
logical matrices
tableaux and trees
universal algebra and categories
abstract model theory
combination of logics
lambda calculus
games

STUDY OF CLASSES OF LOGICS

modal logics
substructural logics
linear logics
relevant logics
fuzzy logics
non-monotonic logics
paraconsistent logics
intensional logics
temporal logics
many-valued logics
high order logics
free logics

SCOPE OF VALIDITY/DOMAIN OF APPLICATIONS OF FUNDAMENTAL THEOREMS

completeness
compactness
cut-elimination
deduction
interpolation
definability
incompleteness
decidability
Lindenbaum lemma
algebrization
Dugundji's theorem

PHILOSOPHY AND HISTORY

axioms and rules
truth and fallacies
identity
lingua universalis vs calculus ratiocinator
pluralism
origin of logic
reasoning and computing
discovery and creativity
nature of metalogic
deduction and induction
definition
paradoxes