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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230213/1270a355/attachment-0001.html>