Home
History
Administration
People
Activities
Publications
  Useful Links
  Administrative Forms
   

 

  Events
   

 

  About Isfahan
  Gallery of Visitors
  Gallery of Pictures
   

 

  Contact
  Webmail
Groups

Extremal Combinatorics

Functional and Harmonic Analysis

Lie Algebra

Logic

Representation Theory

Ring Theory

 

Search Mathematics
Enter your search string here
and click on Go! to continue

GO!

 
IPM > School of Mathematics > IPM-Isfahan > Groups

Logic Group

 

Member of the group:
Meghdad Ghari (Post-Doctoral Research Fellow)


Former Members:
Mojtaba Aghaei (Resident Researcher)
Amir Khamseh (Non-Resident Researcher) 


Upcoming Event:

▶ Short Course on Mathematical, Philosophical and Computational Logic:
Predicate Logic; Philosophical and Critical Review
Morteza Haj Hosseini
University of Isfahan
Thursday, February 23, 2017 (5 Esfand 1395) 14:00-16:00
(More Info) (Slides)


Short Courses:

Mathematical, Philosophical and Computational Logic
(Course 2: First Order Predicate Logic)


More Info...


(3) Morteza Haj Hosseini, University of Isfahan
Predicate Logic; Philosophical and Critical Review 
(MoreInfo)
Thursday, February 23, 2017 (5 Esfand 1395) 14:00-16:00
(2) Ali Valizadeh, Amirkabir University of Technology
First Order Logic and Mathematical Structures 
 (MoreInfo) (Slides) (Lecture notes of the 2nd part)
Thursday, February 16, 2017 (28 Bahman 1395) 14:00-16:00
(1) Hamid Alaeenezhad, Tarbiat Modares University
History and Philosophical Foundations of Logic
 (MoreInfo) (Slides)
Thursday, February 9, 2017 (21 Bahman 1395) 14:00-16:00




Mathematical, Philosophical and Computational Logic
(Course 1: Propositional Logic)


More Info...


(3) Ali Kalantari, University of Isfahan
An Investigation on Truth Functionality of Logical Constants in Propositional Logic and Their Counterparts in Natural Language  (Slides) (Handout)
Thursday, December 8, 2016 (18 Azar 1395) at 13:30
(2) Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)
Decision Procedures for Satisfiability and Validity in Propositional Logic (More Info) (Slides)
Thursday, November 24, 2016 (4 Azar 1395) at 13:30
(1) Hamzeh Mohammadi, Isfahan University of Technology
Propositional Logic (Slides)
Thursday, November 17, 2016 (27 Aban 1395) at 13:30


 Visitors:

    Darío Alejandro García (University of Leeds)

    Thomas Studer (University of Bern)

    Andres Villaveces (Universidad Nacional de Colombia)

    Kai Hauser (Technical University of Berlin)



 Useful Links:

        Mathematical Logic Group (IPM-Tehran)

        Iranian Association for Logic

        Logic Group (Sharif University of Technology)



Past Events:

IPM-Isfahan Workshop on "Various Aspects of Modality"

More Info...


Past Lectures:

-  Morteza Haj Hosseini, University of Isfahan

   Propositional Logic; Critical Study

   15 December 2016  More Info Slides

 

-  Darío Alejandro García, University of Leeds

   Applications of Ultraproducts of Finite Structures to Combinatoricss

   3 November 2016  More Info

 

- Mohammad Maarefi

Some Reflections on the Epistemology of Mathematical Practice and Models of Mathematics (Defending a Faithful Philosophy of Mathematics)

28 April 2016  More Info

 

- Hamzeh Mohammadi, Isfahan University of Technology

Fuzzy Logics

26 April 2016 More Info

 

- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Reasoning about Uncertain Evidence

 28 January 2016 More Info

 

- Afshin Zarei, Isfahan University of Technology

Authentication protocols and a logical method for analyzing them

 19 November2015 More Info

 

- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Proof Analysis in Modal-Justification Logics

 11 June 2015 More Info

 

- Amir Khamseh, Kharazmi University

Hindman's Theorem, Variable Words and Reverse Mathematics 

28 May 2015 More Info

 

- Mojtaba Aghaei, Isfahan University of Technology

Admissibility of rules in reduced normal forms in S4

7 May 2015  More Info

 

- Kai Hauser, Technical University of Berlin

Large Cardinal Numbers and Infinite Games

8  March 2015  More Info

 

- Mojtaba Aghaei, Isfahan University of Technology

Constructive Mathematics

27 November 2014 More Info

 

- Amir Khamseh, Kharazmi University

An introduction to reverse mathematics

20 November 2014 More Info

 

- Hamzeh Mohammadi, Isfahan University of Technology

Modal Logic with Counting

30 October 2014 More Info

 

- Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Tableau Proof Systems for Justification Logics

 23 October 2014 More Info

 

       - Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Justification Logics and their Epistemic Semantics

16 October 2014

 

İİ Copyright 2000-2010
Institute for Research in Fundamental Sciences (IPM)
All rights reserved.
Please submit your comments or questions here, or contact Webmaster.

@ IPM_Isfahan