Results 61 to 70 of about 2,874 (140)
International Journal of Computing Science and Applied Mathematics, 2018 In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.
Berhanu Assaye Alaba +2 more
openaire +2 more sources
Codimension and pseudometric in co-Heyting algebras [PDF]
, 2008 In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra.
Faculte ́ Des Sciences +2 more
core
Information completeness in Nelson algebras of rough sets induced by quasiorders
, 2012 In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski +22 more
core +1 more source
Model-completion of varieties of co-Heyting algebras [PDF]
, 2017 It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the variety of Boolean
Darnière, Luck, Junker, Markus
core +2 more sources
Complete Boolean algebras are Bousfield lattices
, 2017 Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra.
AK Bousfield +9 more
core +1 more source
Free three-valued Closure Lukasiewicz Algebras [PDF]
, 2007 In this paper, the structure of finitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.Fil: Abad, Manuel.
Abad, Manuel +3 more
core +1 more source
Canonical formulas for k-potent commutative, integral, residuated lattices
, 2016 Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick +2 more
core +1 more source
Relation between dual S-algebras and BE-algebras
Le Matematiche, 2015 In this paper, we investigate the relationship between dual (Weak) Subtraction algebras, Heyting algebras and BE-algebras. In fact, the purpose of this paper is to show that BE-algebra is a generalization of Heyting algebra and dual (Weak) Subtraction ...
Arsham Borumand Saeid, Akbar Rezaei
doaj
On the validity of the definition of a complement-classifier
Zagadnienia Filozoficzne w Nauce, 2020 It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes (co-toposes), which are allegedly connected to the dual to intuitionistic logic. In
Mariusz Stopa
doaj
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