Results 71 to 80 of about 2,874 (140)

Characterization of almost semi-Heyting algebra

Discussiones Mathematicae - General Algebra and Applications, 2020
Summary: In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice. We establish an equivalent condition for an almost semi-Heyting algebra to become a Stone almost distributive lattice.
Srikanth V.V.V.S.S.P.S., Ratnamani M.V., Ramesh S.   +2 more
openaire   +3 more sources

Closure Operations on Intuitionistic Linear Algebras

Annales Mathematicae Silesianae
In this paper, we introduce the notions of radical filters and extended filters of Intuitionistic Linear algebras (IL-algebras for short) and give some of their properties.
Tenkeu Jeufack Y.L., Alomo Temgoua E.R., Heubo-Kwegna O.A.   +2 more
doaj   +1 more source

Deduction modulo theory [PDF]

, 2014
This paper is a survey on Deduction modulo ...
Dowek, Gilles
core   +4 more sources

DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS

The Journal of Symbolic Logic
AbstractWe investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap.
BENJAMIN MERLIN BUMPUS, ZOLTAN A. KOCSIS
openaire   +3 more sources

Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology [PDF]

, 2015
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure ...
Costa, João Pita, Johansson, Mikael Vejdemo, Škraba, Primož   +2 more
core  

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

Filters and congruences in sectionally pseudocomplemented lattices and posets. [PDF]

Soft comput, 2021
Chajda I, Länger H.
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