Wyniki
-
On Set Theory as a Foundation for Computer Science
F.A. Doria, N.C.A. da Costa
Bulletin of the Section of Logic , 33 /1 (2004) s. 33-40 -
On the problem of Jaskowski and the logics of Lukasiewicz
Jerzy Kotas, Newton C.A. da Costa
Bulletin of the Section of Logic , 7 /2 (1978) s. 91 -
Incomplete satisfiability problems
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 22 /4 (1993) s. 150-157 -
A note on temporal logic
Newton C.A. da Costa, S. French
Bulletin of the Section of Logic , 18 /2 (1989) s. 51-121 -
On the existence of very difficult satisfiability problem
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 21 /4 (1992) s. 122-133 -
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 -
Carnot's logic
Newton C.A. da costa, Jean-Yves Beziau
Bulletin of the Section of Logic , 22 /3 (1993) s. 98-105 -
Logic with deontic and legal modalities : preliminary account
Leila Z. Puga, Newton C.A. da Costa
Bulletin of the Section of Logic , 16 /2 (1987) s. 71-75 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63 -
Verbal copies
Maria Nowakowska
Bulletin of the Section of Logic , 9 /1 (1980) s. 16-22 -
Structure of concepts
Maria Nowakowska
Bulletin of the Section of Logic , 9 /1 (1980) s. 23-29 -
A new theory of time: generation of time from fuzzy temporal relations
Maria Nowakowska
Bulletin of the Section of Logic , 10 /2 (1981) s. 56-62 -
Intuitionistic implication in some non-classical modal logics of type S4
Josep Maria Font
Bulletin of the Section of Logic , 12 /1 (1983) s. 2-7 -
On Substructural Logics Preserving Degrees of Truth
Josep Maria Font
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 117-130 -
Atoms in a Lattice of Theories
Josep Maria Font
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 21-32 -
Constructability in the impredicative theory of classes
Maria V. Marshall, Rolando Chuaqui
Bulletin of the Section of Logic , 7 /2 (1978) s. 93 -
Full models for sentential logic
Josep Maria Font, Ramon Jansana
Bulletin of the Section of Logic , 24 /3 (1995) s. 123-131 -
On the logic of distributive lattices
Josep Maria Font, Ventura Verdu
Bulletin of the Section of Logic , 18 /2 (1989) s. 79-86 -
Identity, Equality, Nameability and Completeness. Part II
Maria Manzano, Manuel Crescenio Moreno
Bulletin of the Section of Logic , 47 /3 (2018) s. 141-158 -
Characterization of the reduced matrices for the {&,or}-fragment of classical logic
Josep Maria Font, F. Guzman, Ventura Verdu
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 124-129