The following pages link to Jānis Cīrulis (Q466879):
Displaying 50 items.
- An axiomatisation of a pure calculus of names (Q1928489) (← links)
- On involutive FL\(_{e}\)-monoids (Q1938395) (← links)
- Leśniewski's systems of logic and foundations of mathematics (Q1955687) (← links)
- Observables on lexicographic effect algebras (Q2009226) (← links)
- Kite pseudo effect algebras (Q2015101) (← links)
- Quasi-decompositions and quasidirect products of Hilbert algebras (Q2054724) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Orthomodular bands (Q2088066) (← links)
- Quasi-polyadic algebras and their dual position (Q2134280) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- Results in L-algebras (Q2226978) (← links)
- States on wEMV-algebras (Q2227253) (← links)
- Modular \(\mathrm{d}_0 \)-algebras (Q2227254) (← links)
- Categories of orthogonality spaces (Q2229976) (← links)
- Endomorphisms of implication algebras (Q2248024) (← links)
- Partial orders in rings based on generalized inverses -- unified theory. (Q2261538) (← links)
- Sharp and meager elements in orthocomplete homogeneous effect algebras (Q2270172) (← links)
- Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets (Q2300122) (← links)
- Orthogonal countable linear orders (Q2314417) (← links)
- Completely distributive completions of posets (Q2330057) (← links)
- Characteristic inference rules (Q2342800) (← links)
- On some classes of commutative weak BCK-algebras (Q2350966) (← links)
- Characterizations of \(k\)-potent elements in rings. (Q2353834) (← links)
- Decidability of general extensional mereology (Q2377058) (← links)
- Remarks on the sequential effect algebras (Q2390694) (← links)
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients (Q2392560) (← links)
- Relatively pseudocomplemented Hilbert algebras (Q2425563) (← links)
- Small quantum structures with small state spaces (Q2426159) (← links)
- Two-valued states on Baer \(^\ast\)-semigroups (Q2447096) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Variable threshold concept lattices (Q2456458) (← links)
- Square roots and inverses in e-rings (Q2456618) (← links)
- A second note on the equational theory of modular ortholattices (Q2474101) (← links)
- Sequential products of quantum measurements (Q2477369) (← links)
- Observables, states, and symmetries in the context of CB-effect algebras (Q2477373) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Lexicographic effect algebras (Q2630279) (← links)
- Axiomatization of the De Morgan type rules (Q2640587) (← links)
- All general solutions of Post equations (Q2641561) (← links)
- Dimension of CPT posets (Q2663165) (← links)
- Leśniewski's conception of logic (Q2702275) (← links)
- Semantic normal form (Q2752418) (← links)
- Classical mathematical logic. (Q2753072) (← links)
- Modal semilattices, implicative semilattices and triples (Q2759831) (← links)
- New trends in quantum structures (Q2762622) (← links)
- Generalized pseudo-effect algebras (Q2784593) (← links)
- Left-star order structure of Rickart *-rings (Q2787599) (← links)
- Dependence logic in pregeometries and \(\omega\)-stable theories (Q2805022) (← links)
- Simple logics for basic algebras (Q2810125) (← links)
