Search results
From MaRDI portal
- 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 (13 words) - 00:36, 9 December 2023
- Heyting Algebras 2020-12-02 Paper JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras 2020-09-17 Paper The lattice of varieties of...10 bytes (15 words) - 15:32, 10 December 2023
- semi-Heyting chains 2012-07-03 Paper Free-decomposability in varieties of semi-Heyting algebras 2012-06-01 Paper The variety of semi-Heyting algebras satisfying...10 bytes (15 words) - 15:32, 10 December 2023
- functional algebras 2021-06-24 Paper Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras 2020-06-16...10 bytes (16 words) - 19:28, 8 December 2023
- Publication Type Semi-Heyting algebras term-equivalent to Gödel algebras 2013-06-26 Paper The variety generated by semi-Heyting chains 2012-07-03 Paper...10 bytes (13 words) - 21:25, 11 December 2023
- Paper On the model-completion of Heyting algebras 2018-10-03 Paper Model-completion of varieties of co-Heyting algebras 2018-07-12 Paper Model completion...10 bytes (13 words) - 23:03, 24 September 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 (17 words) - 13:46, 10 December 2023
- Łukasiewicz algebras 2006-07-12 Paper Linear Heyting algebras with a quantifier 2002-07-10 Paper Varieties of three-valued Heyting algebras with a quantifier...10 bytes (14 words) - 19:30, 8 December 2023
- Model-completion of varieties of co-Heyting algebras 2018-07-12 Paper Codimension and pseudometric in co-Heyting algebras 2011-05-11 Paper \({\aleph_{0}}\)-categorical...10 bytes (14 words) - 11:07, 7 October 2023
- FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS 2023-09-11 Paper THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS—ADDENDUM 2023-09-11 Paper...10 bytes (13 words) - 21:17, 24 September 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 (14 words) - 22:59, 24 September 2023
- MacNeille transferability and stable classes of Heyting algebras 2018-10-30 Paper One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof...10 bytes (15 words) - 09:50, 24 September 2023
- dually pseudocomplemented Heyting algebras 2017-11-16 Paper Discriminator varieties of double-Heyting algebras 2017-04-04 Paper Algebras of incidence structures:...10 bytes (15 words) - 17:15, 24 September 2023
- pseudocomplemented Kleene algebras 2023-09-12 Paper Subalgebras of Heyting and De Morgan Heyting algebras 2012-03-09 Paper De Morgan Heyting algebras satisfying the...10 bytes (13 words) - 02:07, 25 September 2023
- pseudocomplemented Kleene algebras 2023-09-12 Paper Subalgebras of Heyting and De Morgan Heyting algebras 2012-03-09 Paper De Morgan Heyting algebras satisfying the...10 bytes (15 words) - 02:07, 25 September 2023
- logics 2009-03-17 Paper Free Modal Algebras: A Coalgebraic Perspective 2009-03-10 Paper Profinite Heyting algebras 2008-11-17 Paper The Kuznetsov-Gerčiu...10 bytes (13 words) - 13:46, 10 December 2023
- weak Heyting algebras 2024-08-19 Paper Intuitionistic modal algebras 2024-06-26 Paper Relational representation for subordination Tarski algebras 2024-03-20...10 bytes (15 words) - 20:25, 11 December 2023
- universality and \(Q\)-universality of finitely generated varieties of Heyting algebras. 2013-07-31 Paper https://portal.mardi4nfdi.de/entity/Q4918196 2013-04-23...10 bytes (15 words) - 09:32, 9 December 2023
- Propositional Calculus (extended version) 2018-03-05 Paper One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property 2018-02-13...10 bytes (15 words) - 17:46, 6 October 2023
- classes of Heyting algebras 2018-10-30 Paper A topos view of the type-2 fuzzy truth value algebra 2018-10-17 Paper The convolution algebra 2018-07-16 Paper...10 bytes (13 words) - 12:08, 8 December 2023
