Pesquisar
Palavra-chave: TRANSLATIONS
Utilizada 13 vez(es) por 2 docente(s):
Palavras-chave relacionadas:
Palavra-chave relacionada é aquela que foi utilizada juntamente com "TRANSLATIONS"
ALGEBRAIZABILITY
CATEGORIES
SYSTEMS J3, P1, I1
TRANSLATIONS BETWEEN LOGICS
CLASSICAL LOGIC
CONSERVATIVE TRANSLATIONS
PARACONSISTENT LOGICS
CONSEQUENCE OPERATORS
LOGICAL SYSTEMS
CO-COMPLETE CATEGORY
MODEL-THEORETIC TRANSLATIONS
NECESSARY AND SUFFICIENG CONDITIONS
LOGICS
DEDUCTIVE SYSTEMS
INTUITIONISTIC LOGIC