Results 71 to 80 of about 1,844 (139)
On the normal completion of a Boolean algebra
, 2003 A familiar construction for a Boolean algebra A is its normal completion NA, given by its normal ideals or, equivalently, the intersections of its principal ideals, together with the embedding A→NA taking each element of A to its principal ideal.
Mahmoudi, M. +2 more
core +1 more source
On the Boolean Minimal Realization Problem in the Max-Plus Algebra
, 1998 One of the open problems in the max-plus-algebraic system theory for discrete event systems is the minimal realization problem. In this paper we present some results in connection with the minimal realization problem in the max-plus algebra.
Vincent Blondel +3 more
core
A boolean algebra of contracts for assume-guarantee reasoning
, 2009 International audienceContract-based design is an expressive paradigm for a modular and compositional speci cation of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design ...
Talpin, Jean-Pierre +3 more
core
, 2020 Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; according to him, the permitted (licitum) is what possible for a good man to do and the obligatory (debitum) is what is necessary for a good man to do. The paper
Nieznański, Edward
core
Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]
Heliyon, 2023 Rezk EG.
europepmc +1 more source
Some Boolean representations of the propositional calculus [PDF]
, 1964 Boolean algebra had long played a well known role in the development of mathematical logic, but even in the propositional calculus there are many problems still to be investigated.
Snider, Leonard A.
core
A Study of Sectionally Pseudocomplemented Lattice & Boolean Algebra
, 2011 This thesis is submitted to the Department of Mathematics, Khulna University of Engineering & Technology in partial fulfillment of the requirements for the degree of Master of Philosophy in Mathematics, February 2011.Cataloged from PDF Version of Thesis ...
Hasan, Md. Nazmul
core
The homology of a filtered Boolean algebra.
, 2004 In this dissertation we examine the homology of a certain quotient, B(n, k) of the order complex of a Boolean algebra. This quotient also has an interpretation as a generalization of the Bar complex of a truncated polynomial ring.
Kravitz, Scott
core
Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras. [PDF]
Entropy (Basel)Gunji YP +7 more
europepmc +1 more source
Factorization norms and an inverse theorem for MaxCut. [PDF]
Math AnnBalla I, Hambardzumyan L, Tomon I.
europepmc +1 more source