**Calcutta Logic Circle** (** CLC**)

**
**
**
Annual Workshop on Logic and its Applications, Oct 17-19, 2014**

**History**

Having in mind a sincere desire to learn fundamental issues in Logic, a study group was formed in 1987 (14/11/1987) in Calcutta with the initiative of Prof. Mihir K. Chakraborty of the Dept. of Pure Mathematics, University of Calcutta, and with active support from Prof. Amita Chatterjee of the Dept. of Philosophy, Jadavpur University, and Prof. Ranjan Mukhopadhyay, now at the Dept. of Philosophy, Visva-Bharati, all of whom are founder members of the group. This study group, which was informally named

, receives constant inspiration from Prof. H.N. Gupta of the University of Regina, Canada.Calcutta Logic Circle (CLC)From the very beginning, this group comprised members from various disciplines like Mathematics, Computer Science and Philosophy, and provided appropriate ambience for interdisciplinary exchange of opinions and views. Though initially it was a study group, it gradually developed into a research group. Some of the areas in which research work has been done, or is being pursued by members, are Rough Set Theory, Fuzzy Logic, Vagueness and Approximate Reasoning, Modal Logic, Non-monotonic Reasoning, Belief Change, Linear Logic, and Logic of Diagrams.

*Activities*

Monday SeminarsCLC organizes weekly study sessions every Monday (previously on Saturdays). Some of the topics discussed over the years in the weekly meet of the group are:

Lattice theory, Group theory, Category theory, Recursive function theory, Complexity theory, Model theory, Proof theory, Gödel's incompleteness theorems, Intuitionistic logic, Philosophy of intuitionistic mathematics and logic, Set-theoretic paradoxes and the theory of types, Modal logic: different systems, Different types of semantics: algebraic, Kripke, Beth, quantified modal, Axiomatic set theory, Topology via Logic, Universal algebra, Many-valued logic, Linear logic, Fuzzy set theory and fuzzy logic, Rough set theory and rough logic, Different systems of paraconsistent logic, Lambda calculus, Knowledge representation in higher-order logic, Theories of meaning and truth etc.

Annual WorkshopsApart from the weekly study sessions, CLC organizes an annual Workshop in collaboration with institutes like Centre for Cognitive Science, Jadavpur University (JU), Centre for Knowledge-based Systems, JU, Centre for Distributed Computing, JU and the Dept. of Pure Mathematics, University of Calcutta. Every year eminent scholars and researchers from various institutes of the country and abroad participate and deliver lectures in these workshops.

♦

A Special Seminar for Prof. Mihir K. Chakraborty, July 2006

* *

**Some links:
Association for Logic in India
ICLA15
**