Proceedings of the Third Brazilian Conference on Mathematical Logic /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
São Paulo :
Sociedade Brasileira de Lógica,
c1980.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 02669nam a22002175a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003924 | ||
| 008 | 060605s1980####bl#a#####b####100#0#eng#d | ||
| 005 | 20160316152943.0 | ||
| 245 | 1 | 0 | |a Proceedings of the Third Brazilian Conference on Mathematical Logic / |c edited by Ayda I. Arruda, Newton C. A. da Costa, Antonio Mario Sette. |
| 260 | |a São Paulo : |b Sociedade Brasileira de Lógica, |c c1980. | ||
| 300 | |a vi, 336 p. : |b il. ; |c 23 cm. | ||
| 500 | |a "[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. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 505 | 0 | |a 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. | |
| 510 | 4 | |a MR, |c 81m:03005 | |
| 111 | 2 | |a Brazilian Conference on Mathematical Logic |n (3ª : |d 1979 : |c Recife, Brasil) | |
| 700 | 1 | |a Arruda, Ayda I. |4 edt | |
| 700 | 1 | |a Costa, Newton Carneiro Affonso da. |4 edt | |
| 700 | 1 | |a Sette, Antonio Mario. |4 edt | |
| 084 | |a 03-06 |2 msc2000 | ||
| 859 | |h 03 |i B827-3 |p A-5564 |b BIB. MATEMATICA | ||