Results 41 to 50 of about 47,397 (182)
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science, 2019 Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests.
Leandro Gomes +2 more
doaj +1 more source
Constructive version of Boolean algebra [PDF]
Logic Journal of the IGPL, 2012 The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds classically to ...
Francesco Ciraulo +2 more
semanticscholar +1 more source
Questions on cardinal invariants of Boolean algebras
Archive for Mathematical Logic, 2023 In the book Cardinal Invariants on Boolean Algebras by J. Donald Monk many such cardinal functions are defined and studied. Among them several are generalizations of well known cardinal characteristics of the continuum.
Mario Jard'on Santos
semanticscholar +1 more source
Annals of Pure and Applied Logic, 1992 AbstractWe study L∞κ-freeness in the variety of Boolean algebras. It is shown that some of the theorems on L∞κ-free algebras which are known to hold in varieties such as groups, abelian groups etc. are also true for Boolean algebras. But we also investigate properties such as the ccc of L∞κ-free Boolean algebras which have no counterpart in the ...
Fuchino, Sakaé +2 more
openaire +1 more source
Evaluation Trees and Normalisation for Proposition Algebra
MathematicsProposition algebra is based on Hoare’s conditional, a ternary connective comparable to if–then–else and used in the context of propositional logic. Conditional statements are composed from atomic propositions (propositional variables), constants for the
Jan A. Bergstra +2 more
doaj +1 more source
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Sustainability‐oriented collaborations are inter‐organisational arrangements where the competencies of multiple companies are pooled together to tackle environmental challenges. These collaborations differ from traditional strategic alliances in that they tackle complex goals amidst greater uncertainties that extend beyond economic performance,
Vittorio Maria Garibbo +3 more
wiley +1 more source
Multiple context-free path querying by matrix multiplication
Научно-технический вестник информационных технологий, механики и оптикиMany graph analysis problems can be formulated as formal language-constrained path querying problems where the formal languages are used as constraints for navigational path queries.
I. V. Epelbaum +2 more
doaj +1 more source
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
Digital Twin Simulations Toolbox of the Nitrogen‐Vacancy Center in Diamond
Advanced Quantum Technologies, EarlyView.The Nitrogen‐vacancy (NV) center in diamond is a key platform within quantum technologies. This work introduces a Python based digital‐twin of the NV, where the spin dynamics of the system is simulated without relying on commonly used approximations, such as the adoption of rotating frame. The digital‐twin is validated through three different examples,
Lucas Tsunaki +3 more
wiley +1 more source
Survey‐Based Research for Creativity and Innovation Management: Review and Recommendations
Creativity and Innovation Management, EarlyView.ABSTRACT Survey methodology remains a widely used data collection method in creativity and innovation management studies. However, evolving technological advancements and methodological challenges necessitate a reassessment of best practices to benefit the most from it.
Marco Mismetti +2 more
wiley +1 more source