Unranked Quantifier Theory

Author: Khimuri Ruxaia
Co-authors: Lali Tibua
Keywords: Unranked Quantifier Theory, subject sequence variables, derivative operators
Annotation:

We have studied unranked quantifier theory, wich contains two kinds of variables: a) subject sequence variables, which can be substituted by finite sequences of terms and b) propositional sequence variables, which can be substituted by finite sequences of formulas.

Lecture files:

khimuri-rukhaia-Geo [ka]
khimuri-rukhaia-ENG [en]