Wyniki
-
The degree of completeness of Godel's logic
Paweł Bielak
Bulletin of the Section of Logic , 2 /2 (1973) s. 134-137 -
A note on weak functional completeness
Paweł Bielak
Bulletin of the Section of Logic , 3 /2 (1974) s. 38-40 -
On functions definable in implicational algebras
Paweł Bielak
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 24-26 -
Verbal copies
Maria Nowakowska
Bulletin of the Section of Logic , 9 /1 (1980) s. 16-22 -
Structure of concepts
Maria Nowakowska
Bulletin of the Section of Logic , 9 /1 (1980) s. 23-29 -
A new theory of time: generation of time from fuzzy temporal relations
Maria Nowakowska
Bulletin of the Section of Logic , 10 /2 (1981) s. 56-62 -
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics
Anna Wójtowicz
Bulletin of the Section of Logic , 26 /2 (1997) s. 67-72 -
A non-standard approach to autoepistemic logic
Anna Gomolińska
Bulletin of the Section of Logic , 21 /1 (1992) s. 21-27 -
Cycles in Nielsen's Graphs
Anna Bień
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 57-64 -
Monadic Fragments of Intuitionistic Control Logic
Anna Gleńszczyk
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 143-154 -
Intuitionistic implication in some non-classical modal logics of type S4
Josep Maria Font
Bulletin of the Section of Logic , 12 /1 (1983) s. 2-7 -
On Substructural Logics Preserving Degrees of Truth
Josep Maria Font
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 117-130 -
Atoms in a Lattice of Theories
Josep Maria Font
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 21-32 -
Constructability in the impredicative theory of classes
Maria V. Marshall, Rolando Chuaqui
Bulletin of the Section of Logic , 7 /2 (1978) s. 93 -
Full models for sentential logic
Josep Maria Font, Ramon Jansana
Bulletin of the Section of Logic , 24 /3 (1995) s. 123-131 -
On the logic of distributive lattices
Josep Maria Font, Ventura Verdu
Bulletin of the Section of Logic , 18 /2 (1989) s. 79-86 -
Identity, Equality, Nameability and Completeness. Part II
Maria Manzano, Manuel Crescenio Moreno
Bulletin of the Section of Logic , 47 /3 (2018) s. 141-158 -
A note on relationship between the consequence operations Cn' and dCn
Anna Gomolińska, Justyna K. Myślińska
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 63-67 -
Pseudo-BCI-Logic
Grzegorz Dymek, Anna Kozanecka-Dymek
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 33-42 -
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