Results 21 to 30 of about 25,832 (94)
Information completeness in Nelson algebras of rough sets induced by quasiorders
, 2012 In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski +22 more
core +1 more source
Automatic Unbounded Verification of Alloy Specifications with Prover9 [PDF]
, 2012 Alloy is an increasingly popular lightweight specification language based on relational logic. Alloy models can be automatically verified within a bounded scope using off-the-shelf SAT solvers.
Cunha, Alcino, Macedo, Nuno
core
Relating Operator Spaces via Adjunctions [PDF]
, 2012 This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various Hilbert-Schmidt isomorphisms
Jacobs, Bart, Mandemaker, Jorik
core
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]
Entropy (Basel), 2023 Derr R, Williamson RC.
europepmc +1 more source
Postulating the Unicity of the Macroscopic Physical World. [PDF]
Entropy (Basel), 2023 Van Den Bossche M, Grangier P.
europepmc +1 more source
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Quantum computing architectures with signaling and control mimicking biological processes. [PDF]
Heliyon, 2023 Pau LF, Borza PN.
europepmc +1 more source