Intuitionistic logic
Fuzzy logic
Possibilistic logic
Relevance logic
Linear logic
Conditional logic