Wyniki
-
On the decidability of a system of dialectical propositional logic
Elias H. Alves
Bulletin of the Section of Logic , 7 /4 (1978) s. 179-184 -
Possible worlds and many truth values
S. H. Thomason
Bulletin of the Section of Logic , 6 /3 (1977) s. 107-111 -
The first axiomatization of a paraconsistent logic
Elias H. Alves
Bulletin of the Section of Logic , 21 /1 (1992) s. 19-20 -
Common Knowledge, Common Attitudes, and Social Reasoning
Richmond H. Thomason
Bulletin of the Section of Logic , 50 /2 (2021) s. 229-247 -
The structure of type theory
S. H. Voss, C. Sayword
Bulletin of the Section of Logic , 6 /3 (1977) -
Some remarks on the logic of vagueness
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 133-138 -
A semantical study of some systems of vagueness logic
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 139-144 -
On the equivalence between two systems of paraconsistent logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 24 /3 (1995) s. 155-157 -
On the equivalence between some systems of non-classical logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 25 /2 (1996) s. 68-72 -
Relations between paraconsistent logic and many-valued logic
Newton C.A. da Costa, Elias H. Alves
Bulletin of the Section of Logic , 10 /4 (1981) s. 185-190 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84