Proceedings of the Third Brazilian Conference on Mathematical Logic
edited by Ayda I. Arruda, Newton C. A. da Costa, Antonio Mario Sette.
São Paulo : Sociedade Brasileira de Lógica, ©1980.
vi, 336 págs. : ilustraciones ; 23 cm.
"[The Conference was] held at the Institute of Mathematics of the Federal University of Pernambuco, Recife, Brazil, from 17 to 22 Decemeber of 1979."—Preface.
Incluye referencias bibliográficas.
Reseña: MathSciNet, 81m:03005
Contenido
- Ayda I. Arruda, The paradox of Russell in the systems $\text{NF}_n$
- Martin W. Bunder, A new hierarchy of paraconsistent logics
- Martin W. Bunder, Modus ponens free (implicational) logics
- Rolando Chuaqui, Platonism as philosophical foundation of mathematics
- Roberto Cignoli, Some algebraic aspects of many-valued logics
- Manuel Corrada, Remarks on extendability of set-theoretical models preserving cardinality
- M. Corrada and L. P. de Alcantara, Notes on many-sorted systems
- L. Dubikajtis, E. Dudek and J. Konior, On axiomatics of Ja\'skowski's discussive propositional calculus
- Manuel M. Fidel, An algebraic study of logic with constructible negation
- J. Kotas and N. C. A. da Costa, Some problems on logical matrices and valorizations
- Roberto Lins de Carvalho and Paulo Augusto S. Veloso, Towards a logic of limited perception
- Andréa Lopari\'c and Elias H. Alves, The semantics of the systems $C_n$ of da Costa
- Zeljko Lopari\'c, Decidability and cognitive significance in Carnap
- L. H. Lopes Dos Santos, Constructive completeness proofs for positive propositional calculi
- Diego Marconi, A decision-method for the calculus $C_1$
- Francisco Miraglia, Relations between structures of stable continuous functions and filtered powers
- Anil Nerode and Rick L. Smith, The undecidability of the lattice of recursively enumerable subspaces
- Charles Pinter, The logic of inherent ambiguity
- Richard Routley and Andréa Lopari\'c, Semantics for quantified relevant logics without replacement
- H. P. Sankappanavar, On the congruence lattice of a finite pseudo-complemented semilattice
- Ryszard Wójcicki, Entailment semantics for T.