"Axiomatization of Some Basic and Modal Boolean Connexive Logics"
by Mateusz Klonowski
https://link.springer.com/article/10.1007/s11787-021-00291-4

"An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis
of Kolmogorov’s 1932 Paper"
by Antonino Drago
https://link.springer.com/article/10.1007/s11787-021-00292-3

"The Role of the Common in Cognitive Prosperity: Our Command of the
Unspeakable and Unwriteable"
by John Woods
https://link.springer.com/article/10.1007/s11787-021-00289-y

"Implicational Tonoid Logics: Algebraic and Relational Semantics"
by Eunsuk Yang & J. Michael Dunn
https://link.springer.com/article/10.1007/s11787-021-00288-z

"Implicational Partial Galois Logics: Relational Semantics"
by Eunsuk Yang & J. Michael Dunn
https://link.springer.com/article/10.1007/s11787-021-00290-5

"k-Provability in PA"
by Paulo Guilherme Santos & Reinhard Kahle
https://link.springer.com/article/10.1007/s11787-021-00278-1

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBgPDzRwOK1dtLV7MF_zcKv8TfkbZnqz0fFSq0nGTw0ZA%40mail.gmail.com.

Responder a