Search results
From MaRDI portal
- Publication Date of Publication Type Heyting algebras with Boolean operators for rough sets and information retrieval applications 2008-03-28 Paper Generalized...10 bytes (16 words) - 03:08, 7 October 2023
- three-valued structures 1999-10-11 Paper Symmetrical Heyting algebras with a finite order type of operators 1995-10-18 Paper https://portal.mardi4nfdi.de/entity/Q3778041...10 bytes (16 words) - 16:38, 23 September 2023
- Paper Hilbert algebras with Hilbert-Galois connections 2023-04-26 Paper A variety of algebras closely related to subordination algebras 2022-11-17 Paper...10 bytes (18 words) - 21:25, 11 December 2023
- classes of Heyting algebras with successor that have the amalgamation property 2013-02-18 Paper Frontal operators in weak Heyting algebras 2012-10-01 Paper...10 bytes (20 words) - 14:46, 10 December 2023
- extensions of Heyting algebras 2007-01-25 Paper Valuations on tensor powers of a division algebra. 2005-12-06 Paper Division algebras with an anti-automorphism...10 bytes (18 words) - 10:44, 9 December 2023
- monadic Heyting algebras. III 2002-03-10 Paper Varieties of monadic Heyting algebras. II: Duality theory 2001-12-05 Paper Varieties of monadic Heyting algebras...10 bytes (16 words) - 01:36, 9 December 2023
- Courage? 2015-11-27 Paper Modal operators on compact regular frames and de Vries algebras. 2015-06-19 Paper Free Modal Algebras Revisited: The Step-by-Step...10 bytes (16 words) - 14:46, 10 December 2023
- Logic with truth values in A linearly ordered heyting algebra 1969-01-01 Paper Free L-algebras 1969-01-01 Paper A Property of Free Boolean Algebras 1968-01-01...10 bytes (17 words) - 22:58, 12 December 2023
- theory for C*-algebras 1991-01-01 Paper Some corrections on my paper ``Some connections between Heyting valued set theory and algebraic geometry: Prolegomena...10 bytes (16 words) - 23:19, 8 December 2023
- Publication Type On Heyting algebras with negative tense operators 2023-11-17 Paper Tense operators on distributive lattices with implication 2023-08-10...10 bytes (16 words) - 14:21, 6 October 2023
- Lie–Rinehart algebras 2018-06-14 Paper Representation of BL-algebras with finite independent spectrum 2017-08-09 Paper Kleene algebras with implication...10 bytes (18 words) - 02:45, 10 December 2023
- MacNeille transferability and stable classes of Heyting algebras 2018-10-30 Paper The convolution algebra 2018-07-16 Paper Dynamics in the decompositions...10 bytes (16 words) - 13:08, 8 December 2023
- of Publication Type On Heyting algebras with negative tense operators 2023-11-17 Paper Monadic \(k\times j\)-rough Heyting algebras 2022-07-15 Paper https://portal...10 bytes (17 words) - 23:59, 24 September 2023
- 1996-08-18 Paper A sheaf representation and duality for finitely presented Heyting algebras 1996-05-13 Paper Undefinability of propositional quantifiers in the...10 bytes (18 words) - 01:07, 12 December 2023
- de/entity/Q5413327 2014-04-29 Paper On some compatible operations on Heyting algebras 2012-03-09 Paper...10 bytes (20 words) - 21:34, 12 December 2023
- THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE 2011-06-14 Paper Rings and Gödel algebras. 2011-01-07 Paper On varieties of MV-algebras with internal states...10 bytes (19 words) - 17:54, 9 December 2023
- Sugihara algebras 1994-02-17 Paper https://portal.mardi4nfdi.de/entity/Q4273420 1994-01-13 Paper The lattice of distributive closure operators over an algebra...10 bytes (18 words) - 11:14, 9 December 2023
- bounded hyper EQ-algebras 2022-07-18 Paper Hyper BL-algebras 2022-07-07 Paper Ideal theory on EQ-algebras 2022-05-30 Paper Fuzzy Zorn's lemma with applications...10 bytes (17 words) - 01:14, 11 December 2023
- Publication Type A Note on 3×3-valued Łukasiewicz Algebras with Negation 2023-05-04 Paper Symmetrical Heyting algebras of order \(3\times 3\) 2022-11-21 Paper A...10 bytes (16 words) - 21:18, 22 September 2023
- canonicity for varieties of Boolean algebras with operators 1997-01-19 Paper Parallel action: Concurrent dynamic logic with independent modalities 1993-04-01...10 bytes (18 words) - 16:22, 9 December 2023
