Results 41 to 50 of about 1,294 (213)
Automated Reasoning over Deontic Action Logics with Finite Vocabularies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Pablo F. Castro, Thomas S. E. Maibaum
doaj +1 more source
A model for reliability analysis and calculation applied in an example from chemical industry [PDF]
Hemijska Industrija, 2010 The subject of the paper is reliability design in polymerization processes that occur in reactors of a chemical industry. The designed model is used to determine the characteristics and indicators of reliability, which enabled the determination of basic ...
Pejović Branko B. +4 more
doaj +1 more source
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements
Symmetry, Integrability and Geometry: Methods and Applications, 2010 We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice effect algebras.
Zdenka Riecanová
doaj +1 more source
Generalized co-annihilator of BL-algebras
Open Mathematics, 2015 In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators.
Meng Biao Long, Xin Xiao Long
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Food waste is a sustainability concern in the food industry, which can be mitigated through a circular economy. Circularity can be limited by contextual constraints, such as the characteristics of the waste to be recovered. However, their study in the context of food waste is scarce.
Stella Viscardi +2 more
wiley +1 more source
When do L-fuzzy ideals of a ring generate a distributive lattice?
Open Mathematics, 2016 The notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals.
Gao Ninghua, Li Qingguo, Li Zhaowen
doaj +1 more source
Rudin-Keisler Posets of Complete Boolean Algebras [PDF]
MLQ, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jipsen, Peter +2 more
openaire +2 more sources
Differentiated policy implementation in food safety and animal welfare policymaking
European Policy Analysis, EarlyView.Abstract Agri‐food policies are in the midst of far‐reaching transitions, including the transformation towards sustainable production and food consumption. The European Green Deal and Farm to Fork Strategy prioritize food safety and animal welfare issues, aiming to transform food systems towards more sustainability.
Giulia Bazzan, Colette S. Vogeler
wiley +1 more source
Lattice Operators and Topologies
International Journal of Mathematics and Mathematical Sciences, 2009 Working within a complete (not necessarily atomic) Boolean algebra, we use a sublattice to define a topology on that algebra. Our operators generalize complement on a lattice which in turn abstracts the set theoretic operator.
Eva Cogan
doaj +1 more source
Strategic Change, EarlyView.ABSTRACT This study examines gender disparities in mobile money (MOMO) adoption in Sub‐Saharan Africa (SSA), focusing on how National Financial Inclusion Strategies (NFIS) interact with gender‐based policies on entrepreneurship, mobility, marriage, parenthood, and asset ownership. Using fuzzy‐set qualitative comparative analysis across 16 SSA countries,
Oyedele Martins Ogundana +3 more
wiley +1 more source