[PT] Release of Logica Universalis 1-8 2014
jean-yves beziau <[email protected]> Thu, 20 Mar 2014 14:01:30 +0100
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CAMrL2xvRUu3zcnU-fRaAm19+98LbjXTvUOdtKYRQassLY3+nag@mail.gmail.com> |
We are pleased to announce the release of Logica Universalis Volume 8, Issue 1, March 2014 The Classical Constraint on Relevance Arnon Avron http://link.springer.com/article/10.1007/s11787-013-0092-y Universal Properties of Lukasiewicz Consequence Daniele Mundici http://link.springer.com/article/10.1007/s11787-013-0091-z Proofs and Countermodels in Non-Classical Logics Sara Negri http://link.springer.com/article/10.1007/s11787-014-0097-1 Towards a More General Concept of Inference Ivo Pezlar http://link.springer.com/article/10.1007/s11787-014-0095-3 Beyond Rasiowan Systems: Unital Deductive Systems Alexei Y. Muravitsky http://link.springer.com/article/10.1007/s11787-014-0096-2 Hypothetical Logic of Proofs Eduardo Bonelli, Gabriela Steren http://link.springer.com/article/10.1007/s11787-014-0098-0 >---------------------------------------------------------------------------------------------------------> Jean-Yves Beziau Editor-in-Chief Logica Universalis http://www.springer.com/birkhauser/mathematics/journal/11787 Top 5 articles http://www.springer.com/birkhauser/mathematics/journal/11787?hideChart=1#realtime All papers http://link.springer.com/journal/volumesAndIssues/11787 Impact Factor http://www.logica-universalis.org/impact.html