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