"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.