Combination of Logics

• Possible-Translations Semantics
• Fibring

Logic and Category Theory

• Sheaf semantics
• Categorial semantics
 

Non-Classical Logics

• Many-valued logics
• Paraconsistent logics

Sheaves Over Quantales

• Quantale theory
• Non-commutative topology