Logic

A section of Axioms (ISSN 2075-1680).

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

Editorial Board

Topical Advisory Panel

Papers Published

Back to TopTop