Results 21 to 30 of about 251 (71)

Intuitionistic logic and Muchnik degrees [PDF]

, 2012
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic.
Andrea Sorbi, Sebastiaan A. Terwijn
core   +1 more source

Fantastic filters of lattice implication algebras

International Journal of Mathematics and Mathematical Sciences, Volume 24, Issue 4, Page 277-281, 2000., 2000
The notion of a fantastic filter in a lattice implication algebra is introduced, and the relations among filter, positive implicative filter, and fantastic filter are given. We investigate an equivalent condition for a filter to be fantastic, and state an extension property for fantastic filter.
Young Bae Jun
wiley   +1 more source

f-Fixed Points of Isotone f-Derivations on a Lattice

Discussiones Mathematicae - General Algebra and Applications, 2019
In a recent paper, Çeven and Öztürk have generalized the notion of derivation on a lattice to f-derivation, where f is a given function of that lattice into itself.
Zedam Lemnaouar, Yettou Mourad, Amroune Abdelaziz   +2 more
doaj   +1 more source

Rough sets based on fuzzy ideals in distributive lattices

Open Mathematics, 2020
In this paper, we present a rough set model based on fuzzy ideals of distributive lattices. In fact, we consider a distributive lattice as a universal set and we apply the concept of a fuzzy ideal for definitions of the lower and upper approximations in ...
Yang Yongwei, Zhu Kuanyun, Xin Xiaolong
doaj   +1 more source

Topological Phase Transition in a Molecular Hamiltonian with Symmetry and Pseudo-Symmetry, Studied through Quantum, Semi-Quantum and Classical Models [PDF]

, 2017
The redistribution of energy levels between energy bands is studied for a family of simple effective Hamiltonians depending on one control parameter and possessing axial symmetry and energy-reflection symmetry.
Dhont, Guillaume, Iwai, Toshihiro, Zhilinskii, Boris   +2 more
core   +3 more sources

Theoretical and practical convergence of a self-adaptive penalty algorithm for constrained global optimization [PDF]

, 2017
This paper proposes a self-adaptive penalty function and presents a penalty-based algorithm for solving nonsmooth and nonconvex constrained optimization problems.
A Baykasoğlu, AH Gandomi, Ana Maria A. C. Rocha, AV Fiacco, B Tessema, D Karaboga, D Karaboga, Edite M. G. P. Fernandes, EK Silva, G Collange, G Pillo Di, H Li, H Wang, HJC Barbosa, I Fister, J Brest, M Alb, M. Fernanda P. Costa, MFP Costa, MFP Costa, MK Sayadi, MM Ali, MM Ali, N Hansen, NJ Cheung, NJ Cheung, PR Srivatsava, R Storn, Rogério B. Francisco, ShM Farahani, X-S Yang, X-S Yang, X-S Yang, X-S Yang, YG Petalas   +34 more
core   +1 more source

Some properties of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebras

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016
The purpose of this paper is to initiate the concept of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebra and investigate some of their related properties.
Zulfiqar Muhammad
doaj   +1 more source

Spherical designs from norm-3 shell of integral lattices

, 2009
A set of vectors all of which have a constant (non-zero) norm value in an Euclidean lattice is called a shell of the lattice. Venkov classified strongly perfect lattices of minimum 3 (R\'{e}seaux et "designs" sph\'{e}rique, 2001), whose minimal shell is ...
Shigezumi, Junichi
core   +1 more source

Enriched Stone-type dualities [PDF]

, 2017
A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice.
Hofmann, Dirk, Nora, Pedro
core   +2 more sources

Tail and free poset algebras. [PDF]

, 2004
We characterize free poset algebras F(P) over partially ordered sets and show that they can be represented by upper semi-lattice algebras. Hence, the uniqueness, in decomposition into normal form, using symmetric difference, of non-zero elements of F(P ...
Bekkali, Mohamed, Zhani, Driss
core   +2 more sources