Bien venida al grupo, Zonia.
En cuanto a tu pregunta debemos distinguir entre dos aspectos de la
Lógica Aymara, por un lado la asignación de modalidades lógicas a las
triadas del Aymara Siwi y por otro el proceso de inferencia a partir
de premisas modales.
La asignación de modalidades es como dices estrictamente inductiva,
pues a partir de la experiencia del lenguaje extraemos las modalidades
que las relacionamos con determinadas triadas. Por ejemplo, la
modalidad de "posibilidad" fue asignada por Tarski y Lukasievicz a su
mejor criterio sobre la manera de entender esta modalidad, a la triada
[1 1 -1] que gracias a su álgebra está expresada por p(x) = -1 + x +
xx (Ver sección 1.2 de layqa10).
En cambio, el proceso de inferencia como lo entiendo en la Lógica
Aymara provista de su anillo algebraico, es totalmente deductivo, pues
se reduce a una cálculo algebraico para resolver el sistema de
ecuaciones planteado por las premisas de un argumento lógico. Las
premisas están planteadas como ecuaciones simplemente cuyas variables
trinarias representativas de los enunciados son los parámetros que
preguntas.