South American Journal of Logic
Volume 6, Issue 1, July 2020

Table of Contents

1. Strong Non-Contextual Holism in Quantum Macroscopic States
José Acacio de Barros and Patrick Suppes
School of Humanities and Liberal Studies
San Francisco State University, San Francisco, CA, USA
and Stanford University, Stanford, USA

2. Metamathematical Subtleties of Winning in Diophantine Games
Andrey Bovykin
Institute of Mathematics, Federal University of Bahia
Salvador, BA, Brazil

3. Lewis Carroll on Some Fundamental Concepts in Logic
George Englebretsen
Bishop's University
Sherbrooke, Québec, Canada

4. Congruences on Bounded Hilbert Algebras with Moisil Possibility Operators
María Cristina Canals Frau, Aldo V. Figallo and Gustavo Pelaitay
Institute of Basic Sciences, National University of San Juan
San Juan, Argentina

5. A Simplified Completeness Proof for the Paraconsistent Logic C1
Verónica Quiroga and Víctor Fernández
Institute of Basic Sciences, National University of San Juan
San Juan, Argentina

6. Cancelling Congruences of Lattices, While Keeping Their Numbers of Filters and Ideals
Claudia Muresan
Faculty of Mathematics and Computer Science
University of Bucharest, Bucharest, Romania

7. Paraconsistent da Costa Weakening of Intuitionistic Negation: What does it Mean?
Zoran Majkic
ISRST, Tallahassee, FL, USA