|
gptkb:Łukasiewicz_logic
|
disjunction
|
|
gptkb:three-valued_Łukasiewicz_logic
|
negation
|
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_negation
|
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_implication
|
|
gptkb:Łukasiewicz_logic
|
biconditional
|
|
gptkb:Gödel_logic
|
implication
|
|
gptkb:n-valued_Łukasiewicz_logic
|
conjunction
|
|
gptkb:three-valued_Łukasiewicz_logic
|
conjunction
|
|
gptkb:Łukasiewicz_logic
|
conjunction
|
|
gptkb:Lukasiewicz_logic
|
disjunction
|
|
gptkb:n-valued_Łukasiewicz_logic
|
implication
|
|
gptkb:finite-valued_Łukasiewicz_logic
|
negation
|
|
gptkb:Gödel_logic
|
conjunction
|
|
gptkb:Lukasiewicz_logic
|
implication
|
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_disjunction
|
|
gptkb:linear_logic
|
tensor (⊗)
|
|
gptkb:finite-valued_Łukasiewicz_logic
|
implication
|
|
gptkb:three-valued_Łukasiewicz_logic
|
implication
|
|
gptkb:finite-valued_Łukasiewicz_logic
|
conjunction
|
|
gptkb:Lukasiewicz_logic
|
conjunction
|