|
gptkb:linear_logic
|
with (&)
|
|
gptkb:three-valued_Łukasiewicz_logic
|
negation
|
|
gptkb:Łukasiewicz_logic
|
negation
|
|
gptkb:Gödel_logic
|
disjunction
|
|
gptkb:linear_logic
|
par (⅋)
|
|
gptkb:Lukasiewicz_logic
|
disjunction
|
|
gptkb:finite-valued_Łukasiewicz_logic
|
conjunction
|
|
gptkb:Lambek–Grishin_calculus
|
gptkb:Grishin_connectives
|
|
gptkb:Lukasiewicz_logic
|
conjunction
|
|
gptkb:n-valued_Łukasiewicz_logic
|
disjunction
|
|
gptkb:finite-valued_Łukasiewicz_logic
|
disjunction
|
|
gptkb:n-valued_Łukasiewicz_logic
|
implication
|
|
gptkb:linear_logic
|
plus (⊕)
|
|
gptkb:Gödel_logic
|
conjunction
|
|
gptkb:Łukasiewicz_logic
|
implication
|
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_implication
|
|
gptkb:linear_logic
|
tensor (⊗)
|
|
gptkb:Gödel_logic
|
implication
|
|
gptkb:n-valued_Łukasiewicz_logic
|
negation
|
|
gptkb:three-valued_Łukasiewicz_logic
|
conjunction
|