Wyniki
-
Model theory via imaginary universes
J. E. Hutchinson
Bulletin of the Section of Logic , 6 /3 (1977) -
On the metamathematics of ordinal arithmetics
E. A. Sonenberg
Bulletin of the Section of Logic , 6 /3 (1977) -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
On a Four-Valued Modal Logic with Deductive Implication
Marcelo E. Coniglio, Martin Figallo
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 1-18 -
A Representation for Finite Hilbert Algebras
A.V. Figallo, E. Pick, S. Saad
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 191-202 -
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