Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

04/13/2022
by   Andrzej Indrzejczak, et al.
0

Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an opportunity to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic (BSL), established in 1971 and since then published by the University of Lodz. On this occassion a number of renowned researchers having bonds with BSL were asked to deliver invited talks. Additionally, during the conference a special session was held commemorating J. Michael Dunn, outstanding logician and collecting editor of BSL, who passed away in 2021. Finally, collocated with the conference were three workshops devoted to, subsequently, non-Fregean logics, relating logics, and formal ontology, as well as a tutorial on graded logic.

READ FULL TEXT
research
11/10/2017

Judgment aggregation in non-classical logics

This work contributes to the theory of judgment aggregation by discussin...
research
02/27/2013

Possibility and Necessity Functions over Non-classical Logics

We propose an integration of possibility theory into non-classical logic...
research
09/16/2021

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of the 12th International Symposium...
research
09/19/2022

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

This volume contains the proceedings of the 13th International Symposium...
research
08/20/2018

A continuum of incomplete intermediate logics

This paper generalizes the 1977 paper of V.B. Shehtman, which constructe...
research
12/21/2019

First-order swap structures semantics for some Logics of Formal Inconsistency

The logics of formal inconsistency (LFIs, for short) are paraconsistent ...
research
04/05/2022

Separability and harmony in ecumenical systems

The quest of smoothly combining logics so that connectives from classica...

Please sign up or login with your details

Forgot password? Click here to reset