Search results for "semilattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Léonard Kwuida	A Note on Negation: A PCS-Completion of Semilattices.	ICFCA	2006	DBLP DOI BibTeX RDF	pseudocomplement, FCA, negation, semilattices
60	Sergei Podzorov	Upper Semilattices in Many-One Degrees.	CiE	2008	DBLP DOI BibTeX RDF	Distributive Upper Semilattice, Many-One Degree, Lachlan Semilattice, Computably Enumerable Set, Simple Set, Hypersimple Set, Immune Set, Hyperimmune Set, Arithmetical Hierarchy
57	Barry K. Rosen	Monoids for Rapid Data Flow Analysis.	POPL	1978	DBLP DOI BibTeX RDF
41	Serikzhan A. Badaev	On Rogers Semilattices.	TAMC	2006	DBLP DOI BibTeX RDF
38	Jan Paseka	More on the Strength of Engeler's Lemma.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06F05, 20M12, 20N02, Secondary 03G05, 16D30, 17A65, 08A30
38	Marcel Erné	Choiceless, Pointless, but not Useless: Dualities for Preframes.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06B35, Secondary 03E25, 18B30, 54D45
33	Remo Moresi	A Test-Example of a Quadratic Lattice.	Order	2000	DBLP DOI BibTeX RDF	Hermitean lattices, orthogonal geometry, quadratic lattices, semilattices, modular lattices, Galois lattices
22	James Hanson	Some semilattices of definable sets in continuous logic.	J. Log. Anal.	2024	DBLP BibTeX RDF
22	Jim de Groot	Non-distributive positive logic as a fragment of first-order logic over semilattices.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
22	Delbrin Ahmed, Eszter K. Horváth, Zoltán Németh	The Number of Subuniverses, Congruences, Weak Congruences of Semilattices Defined by Trees.	Order	2023	DBLP DOI BibTeX RDF
22	Antonín Dvorák, Michal Holcapek, Andrea Mesiarová-Zemánková	On a representation of t-norms on bounded meet semilattices.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
22	Yanhui Wang, Dazhi Meng	Quasi-Semilattices on Networks.	Axioms	2023	DBLP DOI BibTeX RDF
22	Ilaria Castellano, Anna Giordano Bruno, Nicolò Zava	Weakly weighted generalised quasi-metric spaces and semilattices.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Mikhail E. Abramyan, Boris Feliksovich Melnikov	On the Study of All Semilattices on the Set of Covering Automata for the Waterloo Automaton.	CSAI	2023	DBLP DOI BibTeX RDF
22	Changchun Xia	Injective Hulls in the Category of Mildly Distributive Semilattices.	Order	2022	DBLP DOI BibTeX RDF
22	Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev	Rogers semilattices of punctual numberings.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
22	Luciano J. González	Finite Distributive Semilattices.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
22	Ismael Calomino, Paula Menchón, William Javier Zuluaga Botero	A Topological Duality for Monotone Expansions of Semilattices.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
22	Nikolay Bazhenov 0001, Manat Mustafa, Zhansaya Tleuliyeva	Rogers semilattices of limitwise monotonic numberings.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
22	Marc Bezem, Thierry Coquand	Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
22	Tatyana Ivanova	Contact Join-semilattices.	Stud Logica	2022	DBLP DOI BibTeX RDF
22	Fernando Martin-Maroto, Gonzalo G. de Polavieja	Semantic Embeddings in Semilattices.	CoRR	2022	DBLP DOI BibTeX RDF
22	Ilaria Castellano, Anna Giordano Bruno, Nicolò Zava	Weakly weighted generalised quasi-metric spaces and semilattices.	CoRR	2022	DBLP DOI BibTeX RDF
22	Jim de Groot	Non-distributive positive logic as a fragment of first-order logic over semilattices.	CoRR	2022	DBLP DOI BibTeX RDF
22	José Luis Castiglioni, Víctor Fernández 0003, Héctor Federico Mallea, Hernán Javier San Martín	On a variety of hemi-implicative semilattices.	Soft Comput.	2022	DBLP DOI BibTeX RDF
22	Endre Tóth, Tamás Waldhauser	On Centralizers of Finite Lattices and Semilattices.	J. Multiple Valued Log. Soft Comput.	2021	DBLP BibTeX RDF
22	Gaurav Sood 0001, K. Murali Krishnan 0001	On the computational complexity of Data Flow Analysis over finite bounded meet semilattices.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
22	Fernando Martin-Maroto, Gonzalo G. de Polavieja	Finite Atomized Semilattices.	CoRR	2021	DBLP BibTeX RDF
22	Robin Hirsch, Jas Semrl	Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.	CoRR	2021	DBLP BibTeX RDF
22	Robin Hirsch, Jas Semrl	Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.	LICS	2021	DBLP DOI BibTeX RDF
22	Filippo Bonchi, Alessio Santamaria	Combining Semilattices and Semimodules.	FoSSaCS	2021	DBLP DOI BibTeX RDF
22	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
22	Oleh R. Nykyforchyn, Oksana Mykytsey	Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers.	Order	2020	DBLP DOI BibTeX RDF
22	Hiroshi Hirai 0001, So Nakashima	A Compact Representation for Modular Semilattices and Its Applications.	Order	2020	DBLP DOI BibTeX RDF
22	Sergio A. Celani, Luciano J. González	A Categorical Duality for Semilattices and Lattices.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
22	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	Presenting convex sets of probability distributions by convex semilattices and unique bases.	CoRR	2020	DBLP BibTeX RDF
22	Filippo Bonchi, Alessio Santamaria	Combining Semilattices and Semimodules.	CoRR	2020	DBLP BibTeX RDF
22	Paolo Aglianò	A short note on divisible residuated semilattices.	Soft Comput.	2020	DBLP DOI BibTeX RDF
22	Oleh R. Nykyforchyn, Oksana Mykytsey	Rough games modeled via L-fuzzy ambiguous representations of semilattices.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
22	Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev	Semilattices of Punctual Numberings.	TAMC	2020	DBLP DOI BibTeX RDF
22	Gábor Czédli	Finite Semilattices with Many Congruences.	Order	2019	DBLP DOI BibTeX RDF
22	Dragan Masulovic	The Ramsey and the Ordering Property for Classes of Lattices and Semilattices.	Order	2019	DBLP DOI BibTeX RDF
22	Sergio A. Celani, Ma. Paula Menchón	Monotonic Distributive Semilattices.	Order	2019	DBLP DOI BibTeX RDF
22	Gaolin Li, Dongsheng Zhao, Weng Kin Ho	Universal Approach to Z-frame Envelopes of Semilattices.	ISDT	2019	DBLP DOI BibTeX RDF
22	Luca Carai, Silvio Ghilardi	Existentially closed Brouwerian Semilattices.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
22	Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev	Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
22	Berhanu Assaye Alaba, Wondwosen Zemene Norahun	Fuzzy Ideals and Fuzzy Filters of Pseudocomplemented Semilattices.	Adv. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
22	Nikolay Bazhenov 0001, Manat Mustafa, Mars M. Yamaleev	Elementary theories and hereditary undecidability for semilattices of numberings.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
22	Faisal Yousafzai, Arshad Ali, Shamsul Haq, Kostaq Hila	Non-associative semigroups in terms of semilattices via soft ideals.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
22	Jun Tao Wang 0001, Arsham Borumand Saeid, Mei Wang	On derivations of commutative multiplicative semilattices.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
22	Venus Amjid, Faisal Yousafzai, Kostaq Hila	A Study of Ordered Ag-Groupoids in terms of Semilattices via Smallest (Fuzzy) Ideals.	Adv. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
22	José Luis Castiglioni, Hernán Javier San Martín	l-Hemi-Implicative Semilattices.	Stud Logica	2018	DBLP DOI BibTeX RDF
22	Ramon Jansana, Hernán Javier San Martín	On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
22	Jun Guo, Jun Liu 0002	Deterministic construction of compressed sensing matrices based on semilattices.	J. Comb. Optim.	2018	DBLP DOI BibTeX RDF
22	Mikhailo Dokuchaev, Mykola Khrypchenko	Twisted partial actions and extensions of semilattices of groups by groups.	Int. J. Algebra Comput.	2017	DBLP DOI BibTeX RDF
22	Shuhua Su, Qingguo Li, Huodi Chen	The Meet-continuity of L-semilattices.	ISDT	2017	DBLP DOI BibTeX RDF
22	Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev	Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators.	CoRR	2017	DBLP BibTeX RDF
22	Hector Freytes, Christian de Ronde, Graciela Domenech	Semilattices global valuations in the topos approach to quantum mechanics.	Soft Comput.	2017	DBLP DOI BibTeX RDF
22	Xin Zhou, Bin Zhao, Sheng-Wei Han	Roughness in m-semilattices.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
22	Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux	Conservative Median Algebras and Semilattices.	Order	2016	DBLP DOI BibTeX RDF
22	Jennifer Hyndman, James B. Nation, Joy Nishida	Congruence Lattices of Semilattices with Operators.	Stud Logica	2016	DBLP DOI BibTeX RDF
22	Baohuan Zhang, Zengti Li	Construction quasi-regular semilattices with singular linear spaces.	Ars Comb.	2016	DBLP BibTeX RDF
22	Baohuan Zhang, Yujun Liu, Zengti Li	Quasi-regular semilattices in singular linear spaces.	Discret. Math. Algorithms Appl.	2016	DBLP DOI BibTeX RDF
22	Artem N. Shevlyakov	On irreducible algebraic sets over linearly ordered semilattices.	Groups Complex. Cryptol.	2016	DBLP DOI BibTeX RDF
22	Takashi Kuraoka	Tensor products of semilattices and fuzzy ideals.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
22	Miodrag Sokic	Semilattices and the Ramsey Property.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
22	Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley	Canonical Extensions and Profinite Completions of Semilattices and Lattices.	Order	2014	DBLP DOI BibTeX RDF
22	Nicolas Ninin, Emmanuel Haucourt	The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero.	ICE	2014	DBLP DOI BibTeX RDF
22	Jun Guo 0004, Kaishun Wang, Chih-Wen Weng	Pooling semilattices and non-adaptive pooling designs.	Discret. Math.	2014	DBLP DOI BibTeX RDF
22	Josep Maria Font, Tommaso Moraschini	Logics of varieties, logics of semilattices and conjunction.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
22	Myrto Kallipoliti, Henri Mühle	On the Topology of the Cambrian Semilattices.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
22	Guram Bezhanishvili, Ramon Jansana	Esakia Style Duality for Implicative Semilattices.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
22	Walter Briec, Charles Horvath, Qi Bin Liang	Efficient Nash equilibria on semilattices.	J. Glob. Optim.	2013	DBLP DOI BibTeX RDF
22	Eleftherios Matsikoudis, Edward A. Lee	The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.	FICS	2013	DBLP DOI BibTeX RDF
22	Fred R. McMorris, Robert C. Powers	Majority decision on median semilattices.	Math. Soc. Sci.	2013	DBLP DOI BibTeX RDF
22	Eleftherios Matsikoudis, Edward A. Lee	An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.	FCT	2013	DBLP DOI BibTeX RDF
22	Gábor Horváth 0004, Kamilla Kátai-Urbán, Péter Pál Pach, Gabriella Pluhár, András Pongrácz, Csaba A. Szabó	On Free Algebras in Varieties Generated by Iterated Semidirect Products of Semilattices.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
22	Kira V. Adaricheva, James B. Nation	Lattices of Quasi-Equational Theories as Congruence Lattices of Semilattices with Operators: Part I.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
22	Kira V. Adaricheva, James B. Nation	Lattices of Quasi-Equational Theories as Congruence Lattices of Semilattices with Operators: Part II.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
22	José Carlos Costa, Conceição Nogueira	Tameness of Joins involving the Pseudovariety of Local Semilattices.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
22	Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi	Rogers semilattices of families of two embedded sets in the Ershov hierarchy.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
22	Sho Suda	A generalization of the Erdős-Ko-Rado theorem to t-designs in certain semilattices.	Discret. Math.	2012	DBLP DOI BibTeX RDF
22	Peter Sussner, Carlos Renato Medeiros	An introduction to morphological associative memories in complete lattices and inf-semilattices.	FUZZ-IEEE	2012	DBLP DOI BibTeX RDF
22	Rouzbeh Farahmand, Gerald Penn	Flexible Structural Analysis of Near-Meet-Semilattices for Typed Unification-Based Grammar Design.	COLING	2012	DBLP BibTeX RDF
22	Guram Bezhanishvili, Ramon Jansana	Priestley Style Duality for Distributive Meet-semilattices.	Stud Logica	2011	DBLP DOI BibTeX RDF
22	Sayan Panma, Ulrich Knauer, Sr. Arworn	On transitive Cayley graphs of strong semilattices of right (left) groups.	Discret. Math.	2009	DBLP DOI BibTeX RDF
22	Dana S. Scott	Semilattices, Domains, and Computability (Invited Talk).	CCA	2009	DBLP BibTeX RDF
22	Friedrich Wehrung	Poset Representations of Distributive Semilattices.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
22	Yulia Kempner, Ilya B. Muchnik	Quasi-concave functions on meet-semilattices.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
22	Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery	Irreducible residuated semilattices and finitely based varieties.	Reports Math. Log.	2008	DBLP BibTeX RDF
22	Renato Keshet	Adjacency lattices and shape-tree semilattices.	Image Vis. Comput.	2007	DBLP DOI BibTeX RDF
22	Jürg Kohlas	Uncertain information: Random variables in graded semilattices.	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
22	S. K. Nimbhokar, M. P. Wasadikar, Lisa Demeyer	Coloring Of Meet-Semilattices.	Ars Comb.	2007	DBLP BibTeX RDF
22	Ivan Chajda	Orthomodular semilattices.	Discret. Math.	2007	DBLP DOI BibTeX RDF
22	Alla Vichik, Renato Keshet, David Malah	Self-dual morphology on tree semilattices and applications.	ISMM (1)	2007	DBLP BibTeX RDF
22	Jirí Tuma, Friedrich Wehrung	Congruence Lifting of Diagrams of Finite Boolean Semilattices Requires Large Congruence Varieties.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
22	Mohamed El-Ghali M. Abdallah, L. N. Gab-Alla, Sayed Khalil M. Elagan	On semilattices of groups whose arrows are epimorphisms.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
22	Jeffrey S. Olson	Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.	Stud Logica	2006	DBLP DOI BibTeX RDF	positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation
22	Renato Keshet	Shape-Tree Semilattices.	ISMM	2005	DBLP DOI BibTeX RDF
22	Peter Jipsen, Andrzej Kisielewicz 0001	Minimal Expansions of Semilattices.	Int. J. Algebra Comput.	2004	DBLP DOI BibTeX RDF