Search results
From MaRDI portal
- duality for Tarski algebras 2008-03-12 Paper Simple and subdirectly irreducibles bounded distributive lattices with unary operators 2008-02-01 Paper Priestley...10 bytes (18 words) - 21:25, 11 December 2023
- decomposition of Boolean functions 1994-07-13 Paper Positive theories of free monoids 1994-05-18 Paper Polynomial expansions of Boolean functions with respect to...10 bytes (18 words) - 10:02, 9 December 2023
- Left residuated operators induced by posets with a unary operation 2020-07-15 Paper Left residuated lattices induced by lattices with a unary operation 2020-07-15...10 bytes (17 words) - 23:25, 8 December 2023
- Left residuated operators induced by posets with a unary operation 2020-07-15 Paper Left residuated lattices induced by lattices with a unary operation 2020-07-15...10 bytes (16 words) - 10:32, 9 December 2023
- every Boolean algebra has many subalgebras 1995-12-19 Paper Densities of Ultraproducts of Boolean Algebras 1995-12-13 Paper Complete Quotient Boolean Algebras...10 bytes (17 words) - 10:23, 8 December 2023
- classes of partial Boolean functions 2009-01-26 Paper Iteration of Boolean \((n,n)\)-operators 2009-01-20 Paper Strong closure operators on the set of partial...10 bytes (18 words) - 16:04, 9 December 2023
- finite Boolean algebras 2009-02-17 Paper GENCLO AND TERMEQUIV ARE EXPTIME-COMPLETE 2008-10-17 Paper Finite homomorphism-homogeneous tournaments with loops...10 bytes (16 words) - 14:30, 24 September 2023
- doubly nonlinear evolution equations with monotone operators 2005-06-17 Paper Chaotic oscillations in the relay system with hysteresis 2005-06-17 Paper On the...10 bytes (15 words) - 19:36, 24 September 2023
- Kantorovich-Bernstein type rational operators 2009-11-11 Paper Natural dualities for four-element Boolean algebras with a unary operation 2009-11-11 Paper Normal...10 bytes (15 words) - 21:03, 22 September 2023
- enumerable semigroups 2013-02-21 Paper Computable isomorphisms of Boolean algebras with operators 2012-12-12 Paper On State Complexity of Finite Word and Tree...10 bytes (17 words) - 20:38, 24 September 2023
- 1995-06-06 Paper Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras 1995-02-22 Paper Generalized quantifiers...10 bytes (19 words) - 02:46, 25 September 2023
- in the \(N=1\) superoperator algebra 1992-09-27 Paper Spectral methods for linear inverse problems with unbounded operators 1992-09-27 Paper Bounds on multivariate...10 bytes (15 words) - 10:20, 24 September 2023
- existence of densities for sums with weights 1987-01-01 Paper Bad extensions of analytic algebra 1987-01-01 Paper Finite groups with modular lattice of centralizers...10 bytes (16 words) - 10:02, 24 September 2023
- implementation of a multiblock method with approximate subdomain solution 2000-01-20 Paper Operators commuting with mixing sequences 2000-01-20 Paper Two-sided...10 bytes (15 words) - 13:11, 24 September 2023
- topological model theory; elementary types; Boolean algebra with unary operators; Cantor derivative; formal Boolean algebra; Martinez derivative Mathematics Subject...15 bytes (96 words) - 09:31, 5 February 2024
- Keywords Boolean algebra; subdirectly irreducible algebra; unary operators Mathematics Subject Classification ID 03G05: Logical aspects of Boolean algebras...15 bytes (45 words) - 06:37, 7 February 2024
- sentence algebra; diagonalizable algebras; provability predicates; pairs of theories; bidiagonalizable algebras; diagonalizable bialgebras; unary operators...15 bytes (53 words) - 22:00, 6 February 2024
- Combining algebraizable logics, Boolean products of lattices, Coupling an MV-algebra with a Boolean algebra, Interpreting \(\mathbb{N}\) in the computably...15 bytes (1,469 words) - 23:26, 5 February 2024
- Finite fixed point algebras are subdiagonalisable Strong amalgamation of distributive lattices A duality for Boolean algebras with operators Counting models...15 bytes (2,260 words) - 13:31, 31 January 2024
- first-order boolean functions in PCF, Behavioural theories and the proof of behavioural properties, Fully abstract compositional semantics for an algebra of logic...15 bytes (282 words) - 09:45, 31 January 2024