Iranian Association for Logic
Iranian Association for Logic
  • فارسی
Toggle Navigation
  • Home
  • Organization
  • Statements & Invitations
  • Call for Papers
  • Annual Colloquium

Recent News

  • The 11th Annual Conference of the Iranian Association for Logic
  • Call for Papers in 11th IAL Annual Conference
  • Submission Rules of IAL Annual Conferences
  • Call for Papers in 10th IAL Annual Conference

Lectures

  • Probability (Modal) Logic
  • Intuitionistic analogues of the Łoś-Tarski Theorem
  • What are structural properties?
  • Friedman's Theorem: from standard systems to fixed points
  • Truth, Proof and Provability

Telegram:        Email: mailroom@ialogic.ir      

Back to Top

© 2023 Iranian Association for Logic