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"

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

IMPORTANT DATES

Submission: November 15, 2021

Notification: November 21st, 2021

Worskhop: 6-11 April , 2022 (the workshop will take place at some point during the UNILOG congress).