Mostrar código-fonte de Lógicas difusas de T-norma

'''Lógicas difusas de T-norma'''&nbsp;são uma família de [[Lógica não clássica|lógicas não clássicas]]<nowiki/>, informalmente delimitada por ter uma [[semântica]] que toma o intervalo da unidade real de [0,&#x20;1] para o sistema de valores verdade e de funções chamadas de [[t-norma]]s para possíveis interpretações de [[conjunção lógica]]. Elas são usadas principalmente em [[lógica difusa]]&nbsp;aplicada e [[Conjunto difuso|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&nbsp;[[lógica difusa]]&nbsp;e de&nbsp;[[lógica multivalorada]]. A fim de gerar uma&nbsp;[[Consequência lógica|implicação]]&nbsp;bem comportada, as t-normas geralmente são necessárias que sejam&nbsp;[[Função contínua|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''&#x20;&#x2192;&#x20;''B'') &#x2228; (''B''&#x20;&#x2192;&#x20;''A''). Tanto as lógicas difusas de t-norma&nbsp;[[Lógica proposicional|proposicional]] e [[Lógica de primeira ordem|de primeira ordem]] (ou [[Lógica de ordem superior|de ordem superior]]), bem como suas expansões por operador [[Operador modal|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ógica de Łukasiewicz|Lógicas de Łukasiewicz]]&nbsp;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,&nbsp;[[BL (lógica)|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 intermediária|lógica de Gödel–Dummett]] (que é a lógica da t-norma mínima).

== Motivação ==
Como membros da família da [[lógica difusa]], lógicas difusas de t-norma, principalmente, visam generalizar lógica clássica de bivalorada por admitir valores-verdade intermediários entre 1 (verdade) e 0 (falsidade), representando ''graus'' de verdade das proposições. Os graus são considerados números reais a partir da unidade de intervalo de [0,&#x20;1]. Em lógica proposicional difusa de t-norma conectivos proposicionaiss são estipulados para serem [[Função de verdade|verofuncionais]], isto é, o valor de verdade de uma proposição complexa formada por uma proposicional conjuntivo a partir de alguns constituintes proposições é uma função (chamada a função de ''verdade'' do conectivo) de verdade dos valores dos constituintes das proposições. A funções de verdade operam no conjunto de graus de verdade (na semântica padrão, no intervalo [0,&#x20;1]); assim, a função de verdade de um conectivo proposicional ''n''-ário ''c'' é uma função ''F''<sub>''c''</sub>: [0,&#x20;1]<sup>''n''</sup> &#x2192; [0,&#x20;1]. Funções de verdade generalizam [[Tabela verdade|tabelas de verdade]] dos conectivos proposicionais conhecidas da lógica clássica para operar no sistema maior de valores de verdade.

A lógica difusa de t-norma impõe certas limitações naturais na função de verdade da [[Conjunção lógica|conjunção]]. A função de verdade&nbsp;<math>*\colon[0,1]^2\to[0,1]</math> da conjunção é assumida satisfazer as seguintes condições:
* ''Comutatividade'', que é, <math>x*y=y*x</math> para todos ''x'' e ''y'' em [0,&#x20;1]. Isso expressa o pressuposto de que a ordem das proposições difusas é imaterial na conjunção, mesmo se graus de verdades intermediários são admitidos.
* ''Associatividade'', isto é, <math>(x*y)*z = x*(y*z)</math> para todos ''x'', ''y'', e ''z'' em [0,&#x20;1]. Isso expressa o pressuposto de que a ordem de realização da conjunção é imaterial, mesmo se graus intermediários de verdade são admitidos.
* ''Monotonia'', isto é, se <math>x \le y</math>&nbsp; então&nbsp;<math>x*z \le y*z</math> para todo&nbsp;''x'', ''y'', e ''z'' em [0,&#x20;1]. Isso expressa o pressuposto de que o aumento do grau verdade de um operando da conjunção não deve diminuir o grau verdade de uma conjunção.
* ''Neutralidade de 1'', isto é, <math>1*x = x</math> para todo ''x'' em [0,&#x20;1]. Esta hipótese corresponde a respeito da verdade grau 1 como verdade completa, conjunção com a qual não diminui o valor verdade do outro operando da conjunção. Juntamente com as condições anteriores esta condição garante que também <math>0*x = 0</math> para todo ''x'' em [0,&#x20;1], o que corresponde a respeito do grau de verdade 0 como falsidade plena, conjunção com o qual sempre é plenamente falso.
* ''Continuidade'' da função <math>*</math> (a condição anterior reduz essa exigência para a continuidade em cada argumento). Informalmente, este expressa a suposição de que alterações microscópicas do grau verdade de orações não deve resultar em uma alteração macroscópica do grau verdade de seu conjunto. Esta condição, entre outras coisas, garante um bom comportamento de implicação (residual) derivada do conjunto; para garantir o bom comportamento, no entanto, ''a continuidade à esquerda''&nbsp;(ou argumento) da função <math>*</math> é suficiente.<ref name="EG2001">Esteva &#x26; Godo (2001)</ref> Em geral, na lógica difusa de t-norma, portanto, apenas a continuidade à esquerda de <math>*</math> é necessária, que expressa o pressuposto de que uma ''diminuição''&nbsp;microscópica do grau verdade de um operando da conjunção não deve macroscopicamente diminuir o grau de verdade da conjunção.
Estes pressupostos tornam a função de verdade da conjunção uma&nbsp;[[t-norm]]a&nbsp;contínua à esquerda, o que explica o nome da família de lógica difusa (''baseada em t-norma''). Lógicas particulares da família podem fazer outras suposições sobre o comportamento do conjunto (por exemplo, [[Lógica intermediária|lógica de Gödel]]&nbsp;requer sua&nbsp;[[idempotência]]) ou outros conectivos (por exemplo, a lógica IMTL requer a&nbsp;[[Involução (matemática)|involução]]&nbsp;da negação).

Todas t-normas contínuas à esquerda&nbsp;<math>*</math> tem um único [[T-norma|resíduo]], isto é, uma função binária&nbsp;<math>\Rightarrow</math> tal que para todos ''x'', ''y'', e ''z'' em [0,&#x20;1],

<math>x*y\le z</math>&nbsp;if and only if&nbsp;<math>x\le y\Rightarrow z.</math>

O resíduo de uma t-norma contínua à esquerda pode ser definido explicitamente &nbsp;como
: <math>(x\Rightarrow y)=\sup\{z\mid z*x\le y\}.</math>
Isso garante que o resíduo é a maior função, em relação a pontos, tal que para todos ''x'' e ''y'',
: <math>x*(x\Rightarrow y)\le y.</math>
O último pode ser interpretado como uma versão difusa da regra de inferência&nbsp;[[modus ponens]]. O resíduo de uma t-norma contínua à esquerda, portanto, pode ser caracterizado como a função mais fraca que torna o modus ponens difuso válido, o que a torna uma função de verdade adequada para a implicação na lógica difusa. A continuidade à esquerda da t-norma é condição necessária e suficiente para assegurar esta relação entre uma conjunção de t-norma e sua implicação residual.

Funções de verdade de mais conectivos proposicionais podem ser definidas por meio da t-norma e o seu resíduo, por exemplo, o residual de negação <math>\neg x=(x\Rightarrow 0)</math> ou bi-residual de equivalência de <math>x\Leftrightarrow y = (x\Rightarrow y)*(y\Rightarrow x).</math>&nbsp;Funções de verdade de conectivos proposicionais também podem ser introduzidos por definições adicionais: os mais usuais são o mínimo (que desempenha um papel de outro conectivo conjuntivo), e o máximo (que desempenha o papel de um conectivo disjuntivo), ou o operador Baaz Delta, definido em [0,&#x20;1] como <math>\Delta x = 1</math> se <math>x=1</math> e <math>\Delta x = 0</math>&nbsp;caso contrário. Desta forma, uma t-norma contínua à esquerda, os seus resíduos, e a funções de verdade de conectivos proposicionais adicionais determinam os valores-verdade de fórmulas proposicionais complexas em [0,&#x20;1].

Fórmulas que sempre validam como 1 são chamadas de ''tautologias'' com respeito à dada t-norma contínua à esquerda&nbsp;<math>*,</math> ou ''<math>*\mbox{-}</math>tautologias.'' O conjunto de todas as <math>*\mbox{-}</math>tautologias é chamado de a&nbsp;''lógica'' da t-norma, <math>*,</math> como que essas fórmulas representam as leis da lógica difusa (determinadas pela t-norma) que valem (grau 1), independentemente do grau de verdade de [[Fórmula atômica|fórmulas atômicas]]. Algumas fórmulas são [[Tautologia (lógica)|tautologias]] com respeito a uma classe maior de t-normas contínuas à esquerda; o conjunto de fórmulas é chamado de a lógica da classe. Lógicas t-normas&nbsp;importantes &nbsp;são as lógicas de t-normas particulares ou classes de t-normas, por exemplo:
* [[lógica de Łukasiewicz|lógica Łukasiewicz]]&nbsp;é a lógica da [[T-norm#Prominent examples|t-norma Lukasiewicz]]&nbsp;<math>x*y = \max(x+y-1,0)</math>
* L[[Lógica intermediária|ógica Gödel–Dummett]]&nbsp;é a lógica da&nbsp;[[T-norm#Prominent examples|t-norma mínima]] <math>x*y = \min(x,y)</math>
* [[Product fuzzy logic|Produto lógica fuzzy]] é a lógica do [[T-norm#Prominent examples|produto t-norma]] <math>x*y = x\cdot y</math>
* L[[Monoidal t-norm logic|ógica Monoidal t-norma]]&nbsp;LMT é a lógica do (a classe de) ''todas t-normas contínuas à esquerda''
* Lógica difusa básica&nbsp;LDB é a lógica do (a classe de) todos ''contínua'' t-normas

Acontece que muitas lógicas de t-normas particulares e classes de t-normas são axiomatizáveis. O teorema da completude do sistema axiomático com respeito a semântica de t-norma correspondente no intervalo [0, 1] é portanto chamada de o padrão de completude da lógica.&nbsp;Além da semântica de valor real padrão no intervalo [0, 1], as lógicas são corretas e completas com respeito à semântica geral algébrica, formada por classes adequadas reticulados residuados integrais limitados comutativos pré-lineares.

== História ==
Algumas lógicas difusas de t-norma particulares tem sido introduzidas e investigadas, muito antes de a família ser reconhecida (mesmo antes de as noções de [[lógica difusa]]&nbsp;ou [[t-norm]]a&nbsp;emergirem):
* [[lógica de Łukasiewicz|Lógica Łukasiewicz]]&nbsp;(a lógica de Lukasiewicz t-norma) foi definido originalmente por [[Jan Lukasiewicz]] (1920) como uma&nbsp;[[Lógica ternária|lógica de três valores]];<ref name="Luk1920">Łukasiewicz J., 1920, O logice trojwartosciowej (Polish, On three-valued logic). </ref> mais tarde, foi generalizado para ''n-''valorada (para todo n finito), bem como variantes infinitamente-muito-valoradas, tanto na lógica proposicional quanto de primeira ordem.<ref name="Hay1963">Hay, L.S., 1963, Axiomatization of the infinite-valued predicate calculus. </ref>
* [[Lógica intermediária|Lógica Gödel–Dummett]]&nbsp;(a lógica da mínima t-norma), estava implícito na prova da valorização infinita de&nbsp;[[Kurt Gödel|Gödel]]'s de 1932 da [[lógica intuicionista]].<ref name="Goe1932">Gödel K., 1932, Zum intuitionistischen Aussagenkalkül, ''Anzeiger Akademie der Wissenschaften Wien'' '''69''': 65–66.</ref>&nbsp;Mais Tarde (em 1959) foi explicitamente estudada por [[Michael Dummett|Dummett]] que provou um teorema de completude para a lógica.<ref name="Dum1959">Dummett M., 1959, Propositional calculus with denumerable matrix, ''Journal of Symbolic Logic'' '''27''': 97–106</ref>
Um estudo sistemático de lógica difusa de t-norma particular e suas aulas começaram com a&nbsp;monografia ''Metamatemática da Lógica Difusa, de Hájek's (1998)''&nbsp;que apresentou a noção de que a lógica de uma t-norma contínua, as lógica de três contínua t-normas&nbsp;básicas (Łukasiewicz, Gödel, e produto), e a lógica difusa "básica"&nbsp;[[BL (logic)|BL]] de todas t-normas  contínuas (todos eles, tanto proposicional quanto de primeira ordem). O livro também começou a investigação da lógica difusa como lógica não-clássica com cálculos do estilo de Hilbert, álgebra semântica, e propriedades matemáticas conhecidas a partir de outras lógicas (teoremas de completude, teoremas de dedução, complexidade, etc.).

Desde então, uma infinidade de lógicas difusas de norma-t foi introduzida e suas propriedade matemáticas têm sido investigadas. Alguns dss mais importantes t-normas de lógica difusa foram introduzidas em 2001, por Esteva e Godo ([[Monoidal t-norm logic|MTL]], IMTL, SMTL, NM, WNM),<ref name="EG2001">Esteva &#x26; Godo (2001)</ref> Esteva, Godo, e Montagna (proposicional ŁΠ),<ref name="EGM2001">Esteva F., Godo L., & Montagna F., 2001, The ŁΠ and ŁΠ½ logics: Two complete fuzzy systems joining Łukasiewicz and product logics, ''Archive for Mathematical Logic'' '''40''': 39–67.</ref> e Cintula (ŁΠ de primeira ordem).<ref name="Cin2001">Cintula P., 2001, The ŁΠ and ŁΠ½ propositional and predicate logics, ''Fuzzy Sets and Systems'' '''124''': 289–302.</ref>

== Linguagem lógica ==
O vocabulário lógico da lógica difusa de norma-t&nbsp;[[Lógica proposicional|proposicional]],&nbsp;de forma padronizada, compreende os seguintes conectivos:
* '''Implicação''' <math>\rightarrow</math> ([[Aridade|binário]]). No contexto de outros que não baseados em t-norma de lógica difusa, a implicação com base em t-norma é às vezes chamado de '''implicação residual'''&nbsp;ou '''R-implicação''', como seu padrão semântica é o [[T-norm#Residuum|resíduo]] da [[t-norm]]a que torna a conjunção forte.
* '''Conjunção Forte'''&nbsp;<math>\And</math> (binário). No contexto de lógica subestrutural, o sinal <math>\otimes</math> e os nomes ''grupo'', ''intensional'', ''multiplicativos'', ou ''conjunção paralela''&nbsp;são muitas vezes utilizados para a conjunção forte.
* '''Conjunção Fraca'''&nbsp;<math>\wedge</math> (binário), também chamado de '''conjunção lattice'''&nbsp;(como é sempre realizada pela operação&nbsp;[[Reticulado|lattice]]&nbsp;de [[Meet (mathematics)|meet]]&nbsp;em álgebra semântica). No contexto de substructural logics, os nomes ''aditivo'', ''extensional'', ou ''conjunção comparativa''&nbsp;são, por vezes utilizados para conjunção lattice. Na lógica BL e suas extensões (embora não em t-norma lógica em geral), conjunção fraca é definível em termos de implicação e conjunção forte, por
:: <math>A\wedge B \equiv A \mathbin{\And} (A \rightarrow B).</math>
: A presença de duas conectivos de conjunção é uma característica comum de [[Lógica subestrutural|lógica substructural]]&nbsp;de contração livre.
* '''Inferior''' <math>\bot</math> ([[Aridade|nullary]]); <math>0</math> ou <math>\overline{0}</math> são sinais alternativos comuns e '''zero'''&nbsp;um comum nome alternativo para a constante proposicional (como as constantes inferior e zero de lógica subestrutural coincidem em lógica difusa de t-norma). A proposição <math>\bot</math> representa a ''falsidade'' ou ''absurdum'' e corresponde ao clássico valor verdade ''falso''.
* '''Negação''' <math>\neg</math> ([[Operação unária|unário]]), às vezes chamado de '''residual de negação''' se outros conectivos de negação são considerados, como ele é definido a partir da implicação residual, por um reductio ad absurdum:
:: <math>\neg A \equiv A \rightarrow \bot</math>
* '''Equivalência''' <math>\leftrightarrow</math> (binário), definido como
:: <math>A \leftrightarrow B \equiv (A \rightarrow B) \wedge (B \rightarrow A)</math>
: Em lógicas de t-norma, a definição é equivalente a <math>(A \rightarrow B) \mathbin{\And} (B \rightarrow A).</math>
* '''Disjunção&nbsp;(Fraca) ''' <math>\vee</math> (binário), também chamado de '''disjunção lattice '''&nbsp;(como é sempre realizada pela operação&nbsp;[[Reticulado|lattice]]&nbsp;de [[Join (mathematics)|ingressar]] na semântica algébrica). Em lógicas de t-norma é definível em termos de outros conectivos como
:: <math>A \vee B \equiv ((A \rightarrow B) \rightarrow B) \wedge ((B \rightarrow A) \rightarrow A)</math>
* '''Parte superior''' <math>\top</math> (nullary), também chamado de '''um''' e denotado por <math>1</math> ou <math>\overline{1}</math> (como as constantes superior e zero da lógica subestrutural coincidem em lógica difusa de t-norma). A proposição <math>\top</math> corresponde ao clássico valor verdade ''verdadeiro'' e pode, em lógica de t-norma ser definido como
:: <math>\top \equiv \bot \rightarrow \bot.</math>
Alguns lógicas de t-norma proposicionais adicionam mais conectivos proposicionais a linguagem acima, na maioria das vezes é a seguinte:
* O conectivo&nbsp;'''Delta'''&nbsp;<math>\triangle</math> é um conectivo unário que afirma a clássica verdade de uma proposição, como as fórmulas da forma <math>\triangle A</math> se comportam em lógica clássica. Também chamado de o '''Baaz Delta''', como ele foi usado pela primeira vez por Matthias Baaz para&nbsp;[[Lógica intermediária|Lógica Gödel–Dummett]].<ref name="Baa96">Baaz M., 1996, Infinite-valued Gödel logic with 0-1-projections and relativisations. </ref> A expansão de uma t-norma lógica <math>L</math> pelo conectivo Delta é normalmente denotado por <math>L_{\triangle}.</math>
* '''Verdade constantes''' são conectivos nullary representando valores verdades particulares entre 0 e 1 no padrão de semântica de valor real. Para o número real <math>r</math>, a constante verdade correspondente é normalmente indicado por <math>\overline{r}.</math>&nbsp;Na maioria das vezes, as constantes verdade para todos os números racionais são adicionadas. O sistema de todas as constantes verdades na linguagem é suposto para satisfazer a ''escrituração axiomas'':<ref name="Haj98">Hájek (1998)</ref>
:: <math>\overline{r \mathbin{\And} s} \leftrightarrow (\overline{r} \mathbin{\And} \overline{s}),</math> <math>\overline{r \rightarrow s} \leftrightarrow (\overline{r} \mathbin{\rightarrow} \overline{s}),</math> etc. para todos os conectivos proposicionais e toda a contantes verdades definidas na linguagem.
* '''Negação Involutiva'''&nbsp;<math>\sim</math> (unário) pode ser adicionado como um adicional de negação para as lógicas de t-norma cuja residual negação não é, em si,&nbsp;[[Involução (matemática)|involutiva]], isto é, se ela não obedecer a lei da dupla negação <math>\neg\neg A \leftrightarrow A</math>. Uma lógica t-norma&nbsp;<math>L</math> ampliada com involutiva negação é normalmente denotado por <math>L_{\sim}</math> e chamou&nbsp;''<math>L</math> com involução''.
* '''Disjunção forte'''&nbsp;<math>\oplus</math> (binário). No contexto de lógica subestrutural é também chamado de ''grupo'', ''intensional'', ''multiplicativos'', ou ''disjunção paralela''. Embora o de contração livre em lógica subestrutural, em lógica difusa de norma-t é normalmente utilizado apenas na presença de negação  involutiva, o que o torna definível (e, portanto, axiomatizável) pela lei de de Morgan a partir de conjunção forte:
:: <math>A \oplus B \equiv \mathrm{\sim}(\mathrm{\sim}A \mathbin{\And} \mathrm{\sim}B).</math>
* '''Conjunções de t-norma adicional e implicações residuais'''. Alguns lógicas de t-norma expressivamente fortes, por exemplo, a lógica ŁΠ, tem mais de uma conjunção forte ou implicação residual na sua linguagem. No padrão de semântica de valor real, todas essas conjunções fortes são feitas por diferentes t-normas e as implicações residuais pelos seus residua.
[[Fórmula bem formada|Fórmulas bem formadas]]&nbsp;de lógica de t-norma proposicional são definidas a partir de [[Variável proposicional (matemática)|variáveis proposicionais]] (geralmente muitos&nbsp;[[Conjunto contável|contáveis]]) pelos conectivos lógicos acima, como de costume, em [[lógica proposicional]]. A fim de salvar parênteses, é comum utilizar a seguinte ordem de precedência:
* Conectivos unários (o mais próximo da ligação)
* Conectivos binários que não de implicação ou equivalência
* Implicação e equivalência (o mais distante da ligação)
Variantes de primeira ordem de lógicas de norma-t empregam a habitual linguagem lógica de [[Lógica de primeira ordem|lógica de primeira-ordem]]&nbsp;com os conectivos proposicionais acima e os seguintes&nbsp;[[Quantificação|quantificadores]]:
* '''Quantificador geral'''&nbsp;<math>\forall</math>
* '''Quantificador existencial''' <math>\exists</math>
O variante de primeira ordem de uma lógica de t-norma proposicional&nbsp;<math>L</math> é normalmente denotado por <math>L\forall.</math>

== Semântica ==
[[Algebraic semantics (mathematical logic)|A semântica algébrica]] é predominantemente utilizada para lógica difusa de t-norma proposicional, com três principais classes de [[Estrutura algébrica|álgebras]] com respeito ao qual a t-norma de lógica difusa&nbsp;<math>L</math> é [[Completude (lógica)|completa]]:
* '''Semântica geral''', formada por todos ''<math>L</math>-álgebras'' , isto é, todas as álgebras para os quais a lógica é [[Correção|correta]].
* '''Semântica Linear''', formado por todas ''linear'' <math>L</math>-álgebras, ou seja, todas <math>L</math>-álgebras cuja ordem&nbsp;[[Reticulado|lattice]]&nbsp;é [[Relação de ordem|linear]].
* '''Semântica padrão''', formado por todas as ''standard'' <math>L</math>-álgebras, ou seja, todos <math>L</math>-álgebras cuja redução lattice é o intervalo de unidade real de [0,&#x20;1], com a ordem usual.&nbsp;Em&nbsp;<math>L</math>-álgebras padrões, a interpretação de uma conjunção forte é uma&nbsp;[[t-norm]]a contínua à esquerda e a interpretação da maioria dos conectivos proposicionais é determinado pela t-norma (daí os nomes de ''t-norma baseada em lógica'' e a ''t-norma <math>L</math>-álgebras'', que também é usado para <math>L</math>-álgebras no lattice [0,&#x20;1]). Em lógicas de t-norma com conectivos adicionais, no entanto, o valor real da interpretação dos conectivos adicionais pode ser restringido por condições adicionais para a t-norma algebra a ser chamado padrão: por exemplo, na norma <math>L_\sim</math>-a álgebra da lógica <math>L</math> com a involução, a interpretação do adicional involutivo negação <math>\sim</math> é necessário para ser o ''padrão de involução'' <math>f_\sim(x)=1-x,</math>&nbsp; ao invés de incluir outras involuções que também pode interpretar <math>\sim</math> sobre a t-norma <math>L_\sim</math>-álgebras.<ref name="FM2006">Flaminio & Marchioni (2006)</ref> Em geral, portanto, a definição do padrão de álgebras t-norma tem de ser explicitamente dada para lógicas de t-norma com conectiovos adicionais.

== Bibliografia ==
* Esteva F. & Godo L., 2001, "Monoidal t-norm based logic: Towards a logic of left-continuous t-norms". ''Fuzzy Sets and Systems'' '''124''': 271–288.
* Flaminio T. & Marchioni E., 2006, T-norm based logics with an independent involutive negation. ''Fuzzy Sets and Systems'' '''157''': 3125–3144.
* Gottwald S. & Hájek P., 2005, Triangular norm based mathematical fuzzy logic. In E.P. Klement & R. Mesiar (eds.), ''Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms'', pp.&nbsp;275–300. Elsevier, Amsterdam 2005.
* Hájek P., 1998, ''Metamathematics of Fuzzy Logic''. Dordrecht: Kluwer. ISBN 0-7923-5238-6.

== Referências ==
<references />

{{portal3|matemática}}
{{portal3|lógica}}
{{Lógica}}
{{Matemática}}
[[Categoria:Lógica difusa]]
[[Categoria:Lógica matemática]]
[[Categoria:Matemática]]