The following pages link to Michał Kozak (Q1015483):
Displaying 9 items.
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- The properties of the action of the quasi-gauge group on the space of Kaluza-Klein Riemannian metrics. I: Existence of the tubular neighbourhood (Q1198824) (← links)
- The properties of the action of the quasi-gauge group on the space of Kaluza-Klein Riemannian metrics. II: The stratification theorem (Q1198825) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- (Q3741134) (← links)
- (Q4008043) (← links)
- (Q4019769) (← links)
- Domain Size Driven Instability: Self-Organization in Systems with Advection (Q4683828) (← links)
