Wyniki
-
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8 -
A logic for indefinite propositions
G. F. Liddell
Bulletin of the Section of Logic , 6 /3 (1977) -
A note on Zermelo set theory
Carlos G. Gonzalez
Bulletin of the Section of Logic , 21 /1 (1992) s. 28-30 -
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 -
Paraconsistent combinatory logic
Martin W. Bunder
Bulletin of the Section of Logic , 8 /4 (1979) s. 177-181 -
A note on quantified significance logic
Martin W. Bunder
Bulletin of the Section of Logic , 9 /4 (1980) s. 159-162 -
Conjunction without conditions in illative combinatory logic
Martin W. Bunder
Bulletin of the Section of Logic , 13 /4 (1984) s. 207-213 -
The strong relevance logics
Martin W. Bunder
Bulletin of the Section of Logic , 23 /1 (1994) s. 12-17 -
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 -
Classical versions of BCI, BCK and BCIW logics
John K. Slaney, Martin W. Bunder
Bulletin of the Section of Logic , 23 /2 (1994) s. 61-65