The following pages link to Jānis Cīrulis (Q466879):
Displaying 50 items.
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications (Q995635) (← links)
- Ideals in ordered sets, a unifying approach (Q997537) (← links)
- A note on effect algebras and dimension theory of AF C\(^*\)-algebras (Q1005540) (← links)
- On complete representations of reducts of polyadic algebras (Q1005935) (← links)
- (Q1046808) (redirect page) (← links)
- The number of triangular islands on a triangular grid (Q1046809) (← links)
- (Q1071746) (redirect page) (← links)
- Investigations in protothetic (Q1071747) (← links)
- Conditional theories (Q1092039) (← links)
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain (Q1095133) (← links)
- On defining sentential connectives (Q1103601) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- Sets of states and extreme points (Q1120571) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Topology lattice as quantum logic (Q1200398) (← links)
- Ideals and filters in D-posets (Q1264368) (← links)
- Lattices and quantum logics with separated intervals, atomicity (Q1266018) (← links)
- Regularity in quantum logic (Q1302665) (← links)
- An existential fragment of second order logic (Q1306791) (← links)
- Jauch-Piron orthomodular posets and propositional systems: A comparison (Q1325671) (← links)
- What does pasting manage in OMPs? (Q1325721) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Quantum logic and linear logic (Q1330093) (← links)
- Peirce algebras (Q1333408) (← links)
- Blocks of pseudo-effect algebras with the Riesz interpolation property (Q1403144) (← links)
- Algebraic semantics for deductive systems (Q1422450) (← links)
- The Suszko operator. I (Q1422451) (← links)
- Nonclassical mereology and its application to sets (Q1430998) (← links)
- Formal models of reflexive structures (Q1567732) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- On definability of the equality in classes of algebras with an equivalence relation (Q1577361) (← links)
- Commutative BCK-algebras and quantum structures (Q1586458) (← links)
- On the \(L^p\) space of observables on product MV algebras (Q1586481) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Notes on reduced Rickart rings. I. Representation and equational axiomatizations (Q1646660) (← links)
- Polymorphism clones of homogeneous structures: gate coverings and automatic homeomorphicity (Q1652867) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Ideals and filters in pseudo-effect algebras (Q1768703) (← links)
- Pseudo-effect algebras and pseudo-difference posets (Q1768704) (← links)
- Semisimplicial unital groups (Q1768729) (← links)
- Effect algebras as presheaves on finite Boolean algebras (Q1789060) (← links)
- Combining algebraizable logics (Q1815433) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- Partial monotonic protothetics (Q1840652) (← links)
- Martin's axiom, omitting types, and complete representations in algebraic logic (Q1863833) (← links)
- On states on orthogonally closed subspaces of an inner product space (Q1868412) (← links)
- Subdifferentiation of monotone functions from semilattices to distributive lattices (Q1904389) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
