The following pages link to Tomasz Kowalski (Q353354):
Displaying 50 items.
- Boolean-like algebras (Q353355) (← links)
- On independent varieties and some related notions (Q382342) (← links)
- (Q535621) (redirect page) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras (Q609648) (← links)
- Multipotent GBL-algebras (Q616119) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- Two cooperative versions of the guessing secrets problem (Q730944) (← links)
- The power of a propositional constant (Q742479) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- On certain quasivarieties of quasi-MV algebras (Q763316) (← links)
- Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
- Self-implications in BCI (Q948761) (← links)
- Completions of GBL-algebras: negative results (Q998758) (← links)
- GHZ theorems in the framework of outcomes in branching space-time (Q1586473) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Semisimplicity, EDPC and discriminator varieties of residuated lattices (Q1770976) (← links)
- Splitting in the variety of residuated lattices (Q1866846) (← links)
- On normal-valued basic pseudo-hoops (Q1933780) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Beyond wreath and block (Q2163865) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- A note on monothetic BCI (Q2372686) (← links)
- An abelian rule for BCI -- and variations (Q2374394) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- Kites and pseudo BL-algebras. (Q2450843) (← links)
- BCK is not structurally complete (Q2452677) (← links)
- The variety of residuated lattices is generated by its finite simple members (Q2752409) (← links)
- Remarks on splittings in the variety of residuated lattices (Q2752413) (← links)
- ON WHEN A SEMANTICS IS NOT A GOOD SEMANTICS: THE ALGEBRAISATION OF ORTHOMODULAR LOGIC (Q2956240) (← links)
- On decomposition of pseudo BL-algebras (Q3016470) (← links)
- (Q3083863) (← links)
- (Q3086534) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- (Q3505078) (← links)
- All Splitting Logics in the Lattice NExt(KTB) (Q3600563) (← links)
- (Q4438108) (← links)
- (Q4438128) (← links)
- (Q4443183) (← links)
- (Q4460839) (← links)
- Outcomes in Branching Space-Time and GHZ-Bell Theorems (Q4525664) (← links)
- Quasi-subtractive varieties: Open filters, congruences and the commutator (Q4644495) (← links)
- <b>PDL</b> has interpolation (Q4779643) (← links)
- (Q4887111) (← links)
- (Q4943495) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
