Wyniki
-
Unifiability in Relation Algebras and in Products of S5
Wojciech Dzik, Beniamin Wróbel
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 1-14 -
Some Algebraic and Algorithmic Problems in Acoustocerebrography
Adam Kolany, Mirosław Wróbel
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 241-258 -
Resolution system for ω+-valued logic
Ewa Orłowska
Bulletin of the Section of Logic , 7 /2 (1978) s. 68-74 -
On intermediate logics which can be axiomatised by means of implicationless formulas
Ewa Capińska
Bulletin of the Section of Logic , 8 /4 (1979) s. 197-201 -
On standard consequence operations in the implicationless language
Ewa Capińska
Bulletin of the Section of Logic , 8 /4 (1979) s. 202-204 -
On regular and symmetric identities
Ewa Graczyńska
Bulletin of the Section of Logic , 10 /3 (1981) s. 104-107 -
On regular and symmetric identities II
Ewa Graczyńska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 100-102 -
Logic of vague concepts
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 115-122 -
Tense logic for nondeterministic time
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 127-131 -
A note on normal shifts of solid varieties
Ewa Graczyńska
Bulletin of the Section of Logic , 23 /1 (1994) s. 41-43 -
On some operators on pseudovarieties II
Ewa Graczyńska
Bulletin of the Section of Logic , 24 /2 (1995) s. 80-88 -
Pseudovarieties of M-solid algebras
Ewa Graczyńska
Bulletin of the Section of Logic , 24 /4 (1995) s. 215-222 -
G. Birkhoff's theorems for regular varieties
Ewa Graczyńska
Bulletin of the Section of Logic , 26 /4 (1997) s. 210-219 -
G. Birkhoff's theorems for M-solid varieties
Ewa Graczyńska
Bulletin of the Section of Logic , 27 /3 (1998) s. 105-116 -
Proofs of tree identities
Ewa Graczyńska
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 31-41 -
Logic for reasoning about knowledge
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 26-38 -
A logic with relevant inplication
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 39-45 -
Three aspects of verisimilitude : part I
Ewa Orłowska
Bulletin of the Section of Logic , 16 /3 (1987) s. 96-106 -
Relational interpretation of modal logics
Ewa Orłowska
Bulletin of the Section of Logic , 17 /1 (1988) s. 2-14 -
Connections between identities and hyperidentities
Ewa Graczyńska
Bulletin of the Section of Logic , 17 /1 (1988) s. 34-41