Results 81 to 90 of about 3,353 (149)
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
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Regular Functors and Relative Realizability Categories [PDF]
, 2011 Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the topos of sets.
Stekelenburg, Wouter Pieter
core
Filters and congruences in sectionally pseudocomplemented lattices and posets. [PDF]
Soft comput, 2021 Chajda I, Länger H.
europepmc +1 more source
, 2016 We give an explicit description of the Barr- and Diaconescu covers of the arithmetic site, which are relevant to cohomology. Further, we construct the arithmetic site as the commutative shadow of a non-commutative topological ...
Bruyn, Lieven Le
core
Frege on intuition and objecthood in projective geometry. [PDF]
Synthese, 2021 Eder G.
europepmc +1 more source
Finitely Presented Heyting Algebras
BRICS Report Series, 1998 In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every such Heyting algebra is in fact co- Heyting, improving on a result of Ghilardi who showed that Heyting algebras free on a finite set of generators are co-Heyting.
openaire +2 more sources
Injective and projective Heyting algebras [PDF]
Transactions of the American Mathematical Society, 1970 Balbes, Raymond, Horn, Alfred
openaire +1 more source
The relations among fuzzy t-filters on residuated lattices. [PDF]
ScientificWorldJournal, 2014 Zhang H, Li Q.
europepmc +1 more source