The semantics of the systems C𝑛 of da Costa

Authors

Andrea M. Loparić
University of São Paulo image/svg+xml
https://orcid.org/0000-0003-0241-0903 (unauthenticated)
Elias H. Alves
Instituto Superior de Filosofia São Bento
DOI: https://doi.org/10.20396/ISBN9786588097229/cap5

Synopsis

This paper is a sequel to a preceding one (da Costa and Alves [2]). We extend the semantics and the decision method of C1 to the systems Cn, 1 ⩽ n < ω, correcting some results outlined in the mentioned paper.

 

 

 

Author Biographies

Andrea M. Loparić, University of São Paulo

Professora Sênior pela Universidade de São Paulo (USP).

Elias H. Alves, Instituto Superior de Filosofia São Bento

Pós-Doutorado na Université du Québec à Trois-Riviéres. Pós-Doutorado na Bucknell University. Instituto Superior de Filosofia São Bento (ISFSB).

capa_vol95

Downloads

capítulo 5

Volume

Andréa Loparić on semantics for non-classical logics: essays in honour of Andréa Loparić

Published

August 21, 2025

Series

Coleção CLE
Copyright (c) 2025 Centro de Lógica, Epistemologia (CLE-UNICAMP)

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.