gptkb:linear_logic
|
tensor (⊗)
|
gptkb:linear_logic
|
plus (⊕)
|
gptkb:linear_logic
|
exponential (!, ?)
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_conjunction
|
gptkb:Lukasiewicz_logic
|
conjunction
|
gptkb:Gödel_logic
|
negation
|
gptkb:Łukasiewicz_logic
|
implication
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_implication
|
gptkb:n-valued_Łukasiewicz_logic
|
implication
|
gptkb:linear_logic
|
linear implication (–o)
|
gptkb:infinite-valued_Łukasiewicz_logic
|
gptkb:Łukasiewicz_disjunction
|
gptkb:Łukasiewicz_logic
|
negation
|
gptkb:three-valued_Łukasiewicz_logic
|
negation
|
gptkb:finite-valued_Łukasiewicz_logic
|
implication
|
gptkb:Lambek–Grishin_calculus
|
gptkb:Grishin_connectives
|
gptkb:n-valued_Łukasiewicz_logic
|
conjunction
|
gptkb:finite-valued_Łukasiewicz_logic
|
disjunction
|
gptkb:Lambek–Grishin_calculus
|
multiplicative connectives
|
gptkb:three-valued_Łukasiewicz_logic
|
disjunction
|
gptkb:Gödel_logic
|
disjunction
|