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

Recent News

  • Iranian Event of the World Logic Day 2025
  • Iranian Event of the World Logic Day
  • The 11th Annual Conference of the Iranian Association for Logic
  • Call for Papers in 11th IAL Annual Conference
  • Submission Rules of IAL Annual Conferences

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

© 2025 Iranian Association for Logic