Logic and Sructures

Schedule

14h00-14h15 Presentation of the Workshop by Jean-Yves Beziau

14h30- 15h15 Silvia Ghilezan, University of Novi Sad and Mathematical Institute, Types in Logic, SASU, Serbia, "Types in Logic, Topology and Structure"

15h15-15h45 Sayantan, Roy, Institute of Information Technology, Delhi, India, "Lindenbaum-type Logical Structures"

15h45-16h15 Coffee Break

16h15-16h45 Alex Citkin, Metropolitan Telecom munications, USA, Metropolitan Telecom munications, USA, "On Unified logic"

Jacques Riche, Catholic University of Leuven, Belgium

jacques.riche@alumni

Jean-Yves Beziau

University of Brazil

TOPIC

One of the central idea of universal logic as a general theory of logic systems is to consider logics as structures. From this arise several questions:

> What kind of structures are logic structures ?

> What are the relations with other mathematical structures (algebraic structures, topological structures, structures of order) ? How to develop the study of these structures (set heory, model theory, category theory) ?

> To what extent these logic structures give a good account of fundamental notions of logic (connective, quantifiers, proof, truth, consequence) ?

Call for Papers

Any contribution related to the notion of logic structure is welcome. Suggested topics include, but are not limited to:

Consequence operator
Combination of logics and fibring
Categories of logical structures
Morphisms between logic structures
Multiple-conclusion logics
Abstract logics
Structural logics
Institutions
Algebraic Logic and algebraization of Logics

To submit a contribution, please send a one-page abstract by the deadline to: jacques.riche@alumni.anu.edu.au

Accepted submissions will be invited to submit a paper to a book or a special issue of a journal that will be edited by the organizer after the workshop.