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"
TRANSLATIONS BETWEEN LOGICS
NECESSARY AND SUFFICIENG CONDITIONS
CONSEQUENCE OPERATORS
DEDUCTIVE SYSTEMS
MODEL-THEORETIC TRANSLATIONS
SYSTEMS J3, P1, I1
LOGICS
CATEGORIES
INTUITIONISTIC LOGIC
PARACONSISTENT LOGICS
CO-COMPLETE CATEGORY
CLASSICAL LOGIC
ALGEBRAIZABILITY
CONSERVATIVE TRANSLATIONS
LOGICAL SYSTEMS
