Results 31 to 40 of about 64 (64)
A Filter Model for Concurrent -Calculus
, 1998 . Type free lazy-calculus is enriched with angelic parallelism and demonic nondeterminism. Call-by-name and call-by-value abstractions are considered and the operational semantics is stated in terms of a must convergence predicate.
Adolfo Piperno +2 more
core
Constructive complete distributivity IV
, 1994 A complete lattice L is constructively completely distributive, (CCD), when the sup arrow from down-closed subobjects of L to L has a left adjoint. The Karoubian envelope of the bicategory of relations is biequivalent to the bicategory of (CCD) lattices ...
N. B. Canada +2 more
core
The characterization of Nelson algebras by Sheffer stroke
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria MatematicaIn this study, Sheffer stroke Nelson algebras (briefly, s-Nelson algebras), (ultra) ideals, quasi-subalgebras, quotient sets, and fuzzy structures on these algebraic structures are introduced.
Oner Tahsin +2 more
doaj +1 more source
A Propositional Logic With 4 Values: True, False, Divergent and Meaningless
, 2007 In this paper, we survey 3-valued logics and their complete axiomatizations, one of which is new. We then propose a 4-valued, functionally complete logic that incorporates these 3-valued systems and provide notations for interesting operators and ...
Jan A. Bergstra, Piet Rodenburg
core
Algebras for Boolean Presuppositions
, 1998 We present an algebraic approach to the semantics of presuppositions in dynamic semantics: preconditions are introduced explicitly as separate components in the semantic algebra. The approach is worked out for a propositional language that is interpreted
Els Wolters +5 more
core
Constructive Complete Distributivity III
, 1992 A complete lattice L is constructively completely distributive, (CCD)(L), if the sup map defined on down closed subobjects has a left adjoint. We characterize preservation of this property by left exact functors between toposes using a "logical ...
R. J. Wood +2 more
core
Identification of Regulatory Genes and Metabolic Processes Important for Alginate Biosynthesis in Azotobacter vinelandii by Screening of a Transposon Insertion Mutant Library. [PDF]
Front Bioeng Biotechnol, 2019 Mærk M +7 more
europepmc +1 more source
Genetic snapshots of the Rhizobium species NGR234 genome. [PDF]
Genome Biol, 2000 Viprey V +3 more
europepmc +1 more source