Wyniki
-
A logic for indefinite propositions
G. F. Liddell
Bulletin of the Section of Logic , 6 /3 (1977) -
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8 -
A note on Zermelo set theory
Carlos G. Gonzalez
Bulletin of the Section of Logic , 21 /1 (1992) s. 28-30 -
The reals in D*
Matias F. Dias
Bulletin of the Section of Logic , 7 /2 (1978) s. 88 -
Hallden-incomplete modal logics that are not strongly incomplete
George F. Schumm
Bulletin of the Section of Logic , 22 /4 (1993) s. 158-160 -
Physical topology: some problems
C. Mortensen, G. Nerlich
Bulletin of the Section of Logic , 6 /3 (1977) -
Remarks on Heyting Algebras with Tense Operators
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 71-74 -
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 155-181 -
Ideal theories of the ring of polynomials over the integres
Luis F. Caceres-Duque
Bulletin of the Section of Logic , 30 /1 (2001) s. 21-31 -
Ideal Theories of some Commutative Rings
Luis F. Caceres-Duque
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 9-18 -
Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems
F. R. Routley, Andrea Loparic
Bulletin of the Section of Logic , 6 /3 (1977) -
Equational reasoning in non-classical logics
Marcelo F. Frias, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 2-11 -
iH-Propositional Calculus
A.V. Figallo, G. Ramon, S. Saad
Bulletin of the Section of Logic , 35 /4 (2006) s. 157-162 -
Descriptive Complexity of Modularity Problems on Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 34 /2 (2005) s. 61-75 -
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 35 /4 (2006) s. 195-214 -
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 -
A finite axiomatization for fork algebras
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /4 (1995) s. 193-200 -
Fork algebras are representable
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /2 (1995) s. 64-75