The following pages link to Jānis Cīrulis (Q466879):
Displaying 50 items.
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- CD-independent subsets in meet-distributive lattices. (Q397026) (← links)
- States on finite linearly ordered IMTL-algebras (Q416275) (← links)
- Three ultrafilters in a modular logic (Q429920) (← links)
- Ordered semigroups which are both right commutative and right cancellative (Q444689) (← links)
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- Reverse order laws in rings with involution. (Q470408) (← links)
- An extension theorem for planar semimodular lattices. (Q484555) (← links)
- The reverse order law \((ab)^\#=b^\dagger (a^\dagger abb^\dagger)^\dagger a^\dagger\) in rings with involution (Q496358) (← links)
- Germinal theories in Łukasiewicz logic (Q515569) (← links)
- On state residuated lattices (Q521705) (← links)
- The Belluce-lattice associated with a bounded Hilbert algebra (Q521730) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Pseudo weak effect algebras and pseudo weak D-posets (Q539537) (← links)
- On the ambiguation of Polish notation (Q549208) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Leśniewski's early Liar, Tarski and natural language (Q598317) (← links)
- On the representability of neatly embeddable CA's by cylindric relativized algebras (Q607464) (← links)
- Common generalizations of orthocomplete and lattice effect algebras (Q616806) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Test spaces and characterizations of quadratic spaces (Q674989) (← links)
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Quantum theory as a theory in a classical propositional calculus (Q685163) (← links)
- Algebras in the positive cone of po-groups (Q698445) (← links)
- Reasoning on a tight budget: Lesniewski's nominalistic metalogic (Q700694) (← links)
- A link between quantum logic and categorical quantum mechanics (Q732298) (← links)
- Left residuated lattices induced by lattices with a unary operation (Q780267) (← links)
- \(L\)-algebras in logic, algebra, geometry, and topology (Q781349) (← links)
- Correction to: ``Notes on reduced Rickart rings. I. Representation and equational axiomatizations'' (Q784777) (← links)
- (Q792321) (redirect page) (← links)
- Quantum mechanics and the local observer (Q792322) (← links)
- Generalized absorption laws in bisemilattices (Q801093) (← links)
- On the duality operator of a convex cone (Q802145) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Relation algebras (Q868510) (← links)
- On implication in MV-algebras (Q873745) (← links)
- Effect algebras are the Eilenberg-Moore category for the Kalmbach monad. (Q890021) (← links)
- Symmetrically complete ordered sets abelian groups and fields. (Q891080) (← links)
- Relatively orthocomplemented skew nearlattices in Rickart rings (Q895870) (← links)
- Dependency ordering of atomic observables (Q904473) (← links)
- Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term (Q918531) (← links)
- Order dimension of orthomodular amalgamations over trees (Q925260) (← links)
- \(\kappa\)-complete uniquely complemented lattices (Q943377) (← links)
- States on sharply dominating effect algebras (Q943441) (← links)
- Order extensions and the fixed point property (Q953274) (← links)
- Leśniewski's \textit{characteristica universalis} (Q987477) (← links)
- Maps on a quantum logic (Q989682) (← links)
- Some results about neat reducts (Q992010) (← links)
