|
Brazilian Conference on Mathematical Logic (3ª : 1979 : Recife, Brasil)
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, c1980. vi, 336 p. : il. ; 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.
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.
|