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. |