Logic

Keywords

• Algebraic logic
• Automated reasoning
• Constructive logic
• Categorical logic
• Computability and recursion theory
• Decision making
• Fuzzy optimization
• Fuzzy theory
• General logic
• Knowledge-based systems
• Logical systems
• Logic programming
• Model theory
• Proof theory and constructive mathematics
• Set theory
• Symbolic logic
• Type theory