The following pages link to Tomasz Kowalski (Q353354):
Displaying 17 items.
- Fraïssé–Hintikka theorem in institutions (Q5140318) (← links)
- (Q5149063) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Normal extensions of KTB of codimension 3 (Q5224580) (← links)
- Coherence in Modal Logic (Q5224581) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Complexity and polymorphisms for digraph constraint problems under some basic constructions (Q5298320) (← links)
- Retraction note for “<b>PDL</b> has interpolation” (Q5311763) (← links)
- (Q5411413) (← links)
- (Q5441557) (← links)
- RELATION ALGEBRAS AND R (Q5737994) (← links)
- Lindström’s theorem, both syntax and semantics free (Q5866479) (← links)
- (Q5884957) (← links)
- Kites and representations of pseudo MV-algebras (Q6083141) (← links)
- Edge colourings and qualitative representations of chromatic algebras (Q6171755) (← links)
- Uniform interpolation and coherence (Q6299513) (← links)
- Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols (Q6393886) (← links)
