Results 141 to 150 of about 523 (235)
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
Unification with Simple Variable Restrictions and Admissibility of $\Pi_{2}$-rules
We develop a method to recognize admissibility of $\Pi_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that for
Almeida, Rodrigo Nicolau +1 more
core
Operad of posets 101: The Wixarika posets
We study objects whose definition is linked to partial orders. An algebra over the operad of posets is a set whose endomorphisms contain the endomorphisms of posets. Notable examples of such algebras include the zeta values, order polytopes, and shuffle series.
Arciniega-Nevárez, José Antonio +2 more
openaire +2 more sources
The structure of κ-maximal cofinitary groups. [PDF]
Arch Math Log, 2023 Fischer V, Switzer CB.
europepmc +1 more source
Parametrized topological complexity of poset-stratified spaces. [PDF]
J Appl Comput Topol, 2022 Tanaka K.
europepmc +1 more source
Higher-Order Interactions and Their Duals Reveal Synergy and Logical Dependence beyond Shannon-Information. [PDF]
Entropy (Basel), 2023 Jansma A.
europepmc +1 more source