Wyniki
-
A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang
J. Climent Vidal, J. Soliveres Tur
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 77-94 -
Weakest normal calculi with respect to Mn-counterparts
Jerzy J. Błaszczuk
Bulletin of the Section of Logic , 7 /3 (1978) s. 102-106 -
The conference on the scientific achivement of Mordchaj Wajsberg
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 87-89 -
Mordchaj Wajsberg : life and works
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 91-94 -
A method of the constructions of characterization of Lukasiewiczian logics
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 139-142 -
Remarks on Mn-counterparts of some normal calculi
Jerzy J. Błaszczuk
Bulletin of the Section of Logic , 6 /2 (1977) s. 82-95 -
New directions in foundations of mathematics
J. N. Crossley
Bulletin of the Section of Logic , 6 /3 (1977) -
The dialectical rule of strenght
J. D. Mackenzie
Bulletin of the Section of Logic , 6 /3 (1977) -
Model theory via imaginary universes
J. E. Hutchinson
Bulletin of the Section of Logic , 6 /3 (1977) -
Incompleteness of the bibinary semantics for R
J. Michael Dunn
Bulletin of the Section of Logic , 16 /3 (1987) s. 107-110 -
Noncummulative cylindric algebras and relativizations of cylindric algebras
Richard J. Thompson
Bulletin of the Section of Logic , 17 /2 (1988) s. 75-81 -
The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright
Stanisław J. Surma
Bulletin of the Section of Logic , 1 /1 (1972) s. 45-52 -
Remarks on Perzanowski's modal systems
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /2 (1975) s. 57-62 -
Modal systems related to S4n of Sobocinski
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /3 (1975) s. 103-106 -
Modal systems placed in the "triangle" S4-T1-T
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /4 (1975) s. 138-141 -
A Gentzen system equivalent to the BCK-logic
Roma J. Adillon, Ventura Verdu
Bulletin of the Section of Logic , 25 /2 (1996) s. 73-80 -
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System
Roma J. Adillon, Ventura Verdu
Bulletin of the Section of Logic , 31 /3 (2002) s. 125-134 -
A Natural Deduction System for CTL
Christian J. Renteria, Edward Hermann Haeusler
Bulletin of the Section of Logic , 31 /4 (2002) s. 231-240