LUW Feb 15 - Lindenbaum-type Logical Structures by Sayantan Roy

[jean-yves beziau]

The next session of the Logica Universalis Webinar will be Wednesday February 15, at 4pm CET.

It will take place during the São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information
https://www.cle.unicamp.br/splogic/
that will be presented by its organizers Itala D’Ottaviano and Walter Carnielli

Speaker: Sayantan Roy, Indraprastha Institute of Information Technology, India

Title: Lindenbaum-type Logical Structures

Abstract: In this talk, we present some classes of logical structures

from the universal logic standpoint, viz., those of the Tarski- and the

Lindenbaum-types. The characterization theorems for the Tarski- and

two of the four different Lindenbaum-type logical structures have been

proved as well. The separations between the five classes of logical structures,

viz., the four Lindenbaum-types and the Tarski-type have been

established via examples. Finally, we study the logical structures that

are of both Tarski- and a Lindenbaum-type, show their separations, and

end with characterization, adequacy, minimality, and representation theorems

for one of the Tarski-Lindenbaum-type logical structures.

https://link.springer.com/article/10.1007/s11787-023-00322-2

Associate organization : Indraprastha Institute of Information Technology,  New Delhi, India 

presented by Sankha S Basu

Chair: Raja Natarajan 

Editorial Board LU

Everybody is welcome to join, register here:

https://www.springer.com/journal/11787/updates/23910922

Jean-Yves Beziau

Organizer of LUW and Editor-in-Chief of Logica Universalis

http://www.jyb-logic.org/