A semantical study of some propositional calculi

Authors

Andrea M. Loparić
University of São Paulo image/svg+xml
https://orcid.org/0000-0003-0241-0903 (unauthenticated)
DOI: https://doi.org/10.20396/ISBN9786588097229/cap3

Synopsis

In this Note we present a semantical analysis of the calculus Cn (cf. N. C. A. da Costa, Comptes rendus, 257, 1963, p.3790); as a by-product we obtain a decision procedure for this calculus. Our methods can be adapted in order to apply to olher calculi, such as the minimal and full intuitionistic.

Author Biography

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

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

capa_vol95

Downloads

capítulo 3

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.