Results 21 to 30 of about 2,874 (140)
Convergence Classes of L‐Filters in (L, M)‐Fuzzy Topological Spaces
Journal of Mathematics, Volume 2021, Issue 1, 2021., 2021 An (L, M)‐fuzzy topological convergence structure on a set X is a mapping which defines a degree in M for any L‐filter (of crisp degree) on X to be convergent to a molecule in LX. By means of (L, M)‐fuzzy topological neighborhood operators, we show that the category of (L, M)‐fuzzy topological convergence spaces is isomorphic to the category of (L, M ...
Ting Yang +5 more
wiley +1 more source
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras [PDF]
, 2016 We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a ...
Dzik, Wojciech, Radeleczki, Sándor
core +2 more sources
Epistemic Updates on Algebras [PDF]
Logical Methods in Computer Science, 2013 We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator.
Alexander A Kurz +1 more
doaj +1 more source
On completeness of reducibility candidates as a semantics of strong normalization [PDF]
Logical Methods in Computer Science, 2012 This paper defines a sound and complete semantic criterion, based on reducibility candidates, for strong normalization of theories expressed in minimal deduction modulo \`a la Curry.
Denis Cousineau
doaj +1 more source
Big Data Mining: a Computer-Oriented Method of Working with the Semantics of Assertions
Современные информационные технологии и IT-образование, 2021 When analyzing large amounts of data with the involvement of experts of subject domain, the problem of knowledge representation arises, this problem lies in describing the semantic content of judgments with their subsequent formalization, automated ...
Galina Goremykina
doaj +1 more source
Dyck algebras, interval temporal logic and posets of intervals [PDF]
, 2015 We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-
Ferrari, Luca
core +2 more sources
Dualities and dual pairs in Heyting algebras [PDF]
, 2010 We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.Comment: 17 pages; v2: minor ...
A. Pultr +4 more
core +4 more sources
De Morgan Semi-Heyting and Heyting Algebras [PDF]
New Trends in Algebras and Combinatorics, 2020 9 pages, 4 figures, A revision of an earlier version in ...
openaire +2 more sources
A Note on Regular De Morgan Semi-Heyting Algebras
Demonstratio Mathematica, 2016 The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH1.
Sankappanavar Hanamantagouda P.
doaj +1 more source
Overlap Algebras: a Constructive Look at Complete Boolean Algebras [PDF]
, 2020 The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set.
Ciraulo, Francesco, Contente, Michele
core +2 more sources