Lógicas difusas de T-norma
Lógicas difusas de T-norma são uma família de lógicas não clássicas, informalmente delimitada por ter uma semântica que toma o intervalo da unidade real de [0, 1] para o sistema de valores verdade e de funções chamadas de t-normas para possíveis interpretações de conjunção lógica. Elas são usadas principalmente em lógica difusa aplicada e teorias de conjuntos difusos como uma base teórica para o raciocínio aproximado.

As famílias de lógica difusa de t-norma fazem parte de classes mais amplas de lógica difusa e de lógica multivalorada. A fim de gerar uma implicação bem comportada, as t-normas geralmente são necessárias que sejam funções contínuas; lógicas de t-norma de função continua pertencem à classe de lógica subestrutural, entre os quais estão assinalados com a validade da "lei da pré-linearidade", ("A" → "B") ∨ ("B" → "A"). Tanto as lógicas difusas de t-norma proposicional e de primeira ordem (ou de ordem superior), bem como suas expansões por operador modal e outros operadores, são estudados. Lógicas que restringem a semântica de t-norma a um subconjunto do intervalo de unidade real (por exemplo, Lógicas de Łukasiewicz finitamente valorizadas) são normalmente incluídos na classe.

Exemplos importantes de lógicas difusas de t-norma são as lógicas monoidais de t-norma (MTL) de todas t-normas de função contínua à esquerda, lógica básica (BL) de todas t-normas contínuas, produto de lógica difusa do produto de t-normas, ou o "nilpotent mínimum logic" da t-norma nilpotent mínima. Algunas lógicas motivadas independentemente pertencem à lógica difusa de t-norma também, como por exemplo a lógica de Łukasiewicz (que é a lógica da t-norma Łukasiewicz) ou a lógica de Gödel–Dummett (que é a lógica da t-norma mínima).
Q239179
lógicas não clássicas
Concept
Q39645
semântica
Concept
None
t-norma
UNK
Q191081
conjunção lógica
Concept
Q224821
lógica difusa
Concept
Q1055058
teorias de conjuntos difusos
Concept
Q224821
lógica difusa
Concept
Q185502
lógica multivalorada
Concept
Q374182
implicação
Concept
Q170058
funções contínuas
Concept
Q200694
proposicional
Concept
Q4055684
de primeira ordem
Concept
Q1644136
de ordem superior
Concept
Q638442
modal
UNK
Q8080919
Lógicas de Łukasiewicz
Concept
None
lógica básica (BL)
UNK
Q5361594
lógica de Gödel–Dummett
ORG
Q7667918
Lógicas difusas de T-norma
Concept
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of