South American Journal of Logic
Volume 1, Issue 1, March 2015

Launching of SAJL
Jean-Yves Beziau and Marcelo Coniglio
Federal University of Rio de Janeiro and State University of Campinas, Brazil

1. Tarski’s Convention T: Condition Beta
John Corcoran and Leonardo Weber
University of New York at Buffalo, USA and Federal University of Paraíba, Brazil

2. On Vague Notions and Modalities
Paulo Veloso and Sheila Veloso
Federal University of Rio de Janeiro and State University of Rio de Janeiro, Brazil

3. Combinatory Logics for Lambda Calculi with Patterns
Ariel Arbiser and Gabriela Steren
University of Buenos Aires, Argentina

4. Model-theoretic Applications of the Profinite Hull Functor of Special Groups
Hugo Luiz Mariano and Francisco Miraglia
University of São Paulo, Brazil

5. Reasoning about Logic Circuits with Independent Input Errors
Amilcar Sernadas, João Rasga, Cristina Sernadas and Paulo Mateus
IST, University of Lisbon, Portugal

6. Is Tarski's Definition of Truth Circular from Frege's Point of View?
Dirk Greimann
Fluminense Federal University, Brazil

7. The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice
Shahid Rahman, Nicolas Clerbout and Radmila Jovanovic
University of Lille, France - University of Valparaíso, Chile - University of Belgrade, Serbia

8. The Recovering Information Property and the Axiom of Choice
Samuel G. da Silva
Federal University of Bahía, Brazil

9. Epistemic-Temporal Logic and Sortal Predicates
Max A. Freund
University of Costa Rica, Costa Rica

10. On Existence in Set Theory, Part III: Applications to New Axioms
Rodrigo A. Freire
University of Brasília, Brazil

11. n x m valued Lukasiewicz-Moisil Algebras with Two Modal Operators
Aldo V. Figallo and Gustavo Pelaitay
National University of San Juan, Argentina

12. Logic of Deduction: Models of Pre-Order and Maximal Theories
Hercules de Araujo Feitosa and Mauri Cunha do Nascimento
São Paulo State University, Brazil

13. A Logical Model for Metabolic Networks with Inhibition
Robert Demolombe, Luis Fariñas del Cerro and Naji Obeid
IRIT, CNRS - University of Toulouse, France

14. Model Complete Expansions of the Real Field by Modular Functions and Forms
Ricardo Bianconi
University of São Paulo, Brazil,