Wyniki
-
An extension of Lesniewski-Curry's formal theory of syntactical categories adequate for the categorially open functors
Daniel V. Vanderveken
Bulletin of the Section of Logic , 4 /2 (1975) s. 78-79 -
Even tabular modal logics sometimes do not have independent base for admissible rules
Vladimir V. Rybakov
Bulletin of the Section of Logic , 24 /1 (1995) s. 37-40 -
Admissible rules for temporal logic LinTGrz
Julia V. Bezgacheva
Bulletin of the Section of Logic , 26 /2 (1997) s. 60-66 -
The structure of rigid frames of restricted depth
Vladimir V. Rybakov
Bulletin of the Section of Logic , 27 /4 (1998) s. 172-181 -
An explicit basis for rules admissible in modal system S4
Vladimir V. Rybakov
Bulletin of the Section of Logic , 28 /3 (1999) s. 135-144 -
A View of Logical Omniscience Problem
Vladimir V. Rybakov
Bulletin of the Section of Logic , 30 /4 (2001) s. 213-229 -
Unification in Common Knowledge Logics
Vladimir V. Rybakov
Bulletin of the Section of Logic , 31 /4 (2002) s. 207-215 -
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 -
Constructability in the impredicative theory of classes
Maria V. Marshall, Rolando Chuaqui
Bulletin of the Section of Logic , 7 /2 (1978) s. 93 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics
V.V. Rimatski, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /2 (2005) s. 93-99 -
iH-Propositional Calculus
A.V. Figallo, G. Ramon, S. Saad
Bulletin of the Section of Logic , 35 /4 (2006) s. 157-162 -
Description of self-admissible quasi-characterizing inference rules
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 27 /4 (1998) s. 164-171