South American Journal of Logic
Volume 3, Issue 1, July 2017
Table of contents
1. Necessity, a Leibnizian Thesis, and a Dialogical Semantics
Mohammad Shafie
Institute of History and Philosophy of Science and Technology (IHPST)
University of Paris 1 Panthéon-Sorbonne, France
2. Logical Analysis of Cyber Vulnerability and
Protection
Esther David, Dov Gabbay, Guy Leshem and Students of CS Ashkelon
Department of Computer Science
Ashkelon Academic college
Ashkelon, Israel and Department of Computer Science, Faculty of Exact Sciences
Bar-Ilan University
Ramat-Gan, Israel
3. A 4-valued Logic of Strong Conditional
Fabien Schang
Department of Philosophy
Federal University of Goiás, Goiânia - GO, Brazil
4. Is Dialetheism Self-Coherent?
Jonas R. Becker Arenhart and Ederson Safra Melo
Department of Philosophy
Federal University of Santa Catarina (UFSC)
Florianópolis, SC, Brazil and Department of Philosophy
Federal University of Maranhão (UFMA)
São Luís, MA, Brazil
5. Remarks on Propositional Logics and the
Categorial Relationship Between Institutions
and Π-Institutions
Darllan Conceição Pinto and Hugo Luiz Mariano
Institute of Mathematics
Federal University of Bahia (UFBA), Salvador, BA, Brazil and Institute of Mathematics and Statistics
University of São Paulo (USP), São Paulo, SP, Brazil
6. On Extensions of Isomorphisms of Substructures
Edelcio G. de Souza and Alexandre A. M. Rodrigues
Department of Philosophy
University of São Paulo (USP).
São Paulo, SP and Institute of Mathematics and Statistics
University of São Paulo (USP), São Paulo, SP, Brazil
Brazil
7. Free (n + 1)-valued Modal Implicative Semilattices
María Cristina Canals Frau, Aldo V. Figallo and Gustavo Pelaitay
Instituto de Ciencias Básicas
Universidad Nacional de San Juan San Juan, Argentina
8. A Brief Testimony of the Unforgettable Presence of
Gilles-Gaston Granger in the Philosophy of Brazil
Arley R. Moreno
Department of Philosophy
Institute of Philosophy and the Humanities (IFCH)
State University of Campinas (UNICAMP), Campinas, Brazil
9. Quantified Counterfactual Temporal
Alethic-Deontic Logic
Daniel Rönnedal
Department of Philosophy
Stockholm University, Sweden
10. How May the Propositional Calculus Represent?
Tristan Haze
Tristan Haze
Department of Philosophy
The University of Sydney, Australia