Results 11 to 20 of about 387 (145)

A short review of decidability of boolean algebras ‎and‎ structure‎‏e of rational numbers ‎in different languages

, 2022
This article consists of two parts.First,‎‎we study boolean algebras.Boolean algebras are famous mathematical structures.Tarski showed the decidability of the elementary theory of Booleana lgebras.In this paper, we study the different kinds of Boolean ...
Saeed Salehi, Sheikhaleslami , Zahra, Zahra Sheikhaleslami, Salehi, Saeed   +3 more
core   +1 more source

On Semi-Boolean-Like Algebras [PDF]

, 2013
summary:In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra $\mathbf {A}$ with constants $0,1$ is Boolean-like in case for ...
Ledda, Antonio, Paoli, Francesco, A. Ledda, F. Paoli, Chajda, Ivan, A. Salibra, Salibra, Antonino, Salibra, A.   +7 more
core   +1 more source

Representability is not decidable for finite relation algebras [PDF]

, 2001
Published ...
Hirsch, R, Hodkinson, I
core   +1 more source

‎Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras [PDF]

, 2023
This paper develops the notion of fuzzy ideal and generalized fuzzy ideal on double Boolean algebra (dBa)‎. ‎According to Rudolf Wille‎, ‎a double Boolean algebra $\underline{D}:=(D‎, ‎\sqcap‎, ‎\sqcup‎, ‎\neg‎, ‎\lrcorner‎, ‎\bot‎, ‎\top)$ is an algebra
Fernand Kuiebove Pefireko
core   +1 more source

Canonical varieties with no canonical axiomatisation [PDF]

, 2005
Accepted ...
Yde Venema, Ian Hodkinson, Hodkinson, I, Venema, Y, Hodkinson, I., Venema, Y.   +5 more
core   +1 more source

Theory Propagation and Reification [PDF]

, 2015
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, J. M., Howe, Jacob M., King, A., Robbins, E., King, Andy, Robbins, Ed   +5 more
core   +1 more source

Theory Propagation and Rational-Trees [PDF]

, 2013
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, Jacob M., Andy King, Jacob M. Howe, Ed Robbins, King, Andy, Robbins, Ed   +5 more
core   +1 more source

Sustainability‐Oriented Collaborations in Green Energy Markets Formation: A Configurational Analysis of Alliance Management Capabilities and Relational View

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, Eleonora Annunziata, Francesco Rizzi, Marco Frey   +3 more
wiley   +1 more source

Nonprofit Governance and Financial Stability: A Study of Government‐Funded Social Services

Nonprofit Management and Leadership, EarlyView.
ABSTRACT Nonprofit social service providers are essential in delivering vital services, often with public funding. This study adopts a contingency perspective to explore the relationship between organizational governance and financial stability in publicly funded nonprofit organizations. We use a combination of comparative multilevel analysis (CMA) and
Florentine Maier, Michael Meyer, Josef Baumüller, Christian Grünhaus, Franka Walde   +4 more
wiley   +1 more source

Algebras of Complemented Subsets

, 2022
Complemented subsets were introduced by Bishop, in order to avoid complementation in terms of negation. In his two approaches to measure theory Bishop used two sets of operations on complemented subsets.
Petrakis, Iosif, Wessel, Daniel
core   +1 more source