E-LIB Suche - Ergebnisse für: Mundici, Daniele

1

Permutation invariant boolean states:

Mundici, Daniele
Algebra universalis. 85 (2024) 3 - p. , 2024

Link: https://doi.org/10.1007/..

2

Liminary C⁎-algebras with boolean spectrum:

Mundici, Daniele
Journal of Mathematical Analysis and Applications. 531 (2024) 1 - p. 127784 , 2024

Link: https://doi.org/10.1016/..

3

AF-algebras with lattice-ordered K0: Logic and computation:

Mundici, Daniele
Annals of Pure and Applied Logic. 174 (2023) 1 - p. 103182 , 2023

Link: https://doi.org/10.1016/..

4

LOGICS FROM ULTRAFILTERS:

MUNDICI, DANIELE
The Review of Symbolic Logic. , 2023

Link: https://doi.org/10.1017/..

5

Yosida frames in free abelian ℓ-groups:

Mundici, Daniele
Journal of Algebra. 635 (2023) - p. 689-697 , 2023

Link: https://doi.org/10.1016/..

6

Computing in Łukasiewicz Logic and AF-Algebras:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Mundici, Daniele - p. 382-396 , 2022

Link: https://doi.org/10.1007/..

7

The read once formula of a series–parallel network:

Mundici, Daniele
Discrete Applied Mathematics. 320 (2022) - p. 304-310 , 2022

Link: https://doi.org/10.1016/..

8

Consequence Relations with Real Truth Values:

, In: Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics,

Mundici, Daniele - p. 249-264 , 2021

Link: https://doi.org/10.1007/..

9

Rota's Fubini lectures: The first problem:

Mundici, Daniele
Advances in Applied Mathematics. 125 (2021) - p. 102153 , 2021

Link: https://doi.org/10.1016/..

10

The differential of probabilistic entailment:

Mundici, Daniele
Annals of Pure and Applied Logic. 172 (2021) 6 - p. 102945 , 2021

Link: https://doi.org/10.1016/..

11

Deciding Koopman's qualitative probability:

Mundici, Daniele
Artificial Intelligence. 299 (2021) - p. 103524 , 2021

Link: https://doi.org/10.1016/..

12

Complete and computable orbit invariants in the geometry of..:

Mundici, Daniele
Annali di Matematica Pura ed Applicata (1923 -). 199 (2020) 5 - p. 1843-1871 , 2020

Link: https://doi.org/10.1007/..

13

Computing on Lattice-Ordered Abelian Groups:

, In: Fields of Logic and Computation III; Lecture Notes in Computer Science,

Mundici, Daniele - p. 210-225 , 2020

Link: https://doi.org/10.1007/..

14

WHAT THE ŁUKASIEWICZ AXIOMS MEAN:

MUNDICI, DANIELE
The Journal of Symbolic Logic. 85 (2020) 3 - p. 906-917 , 2020

Link: https://doi.org/10.1017/..

15

De Finetti coherence and the product law for independent ev..:

Mundici, Daniele
Synthese. 196 (2019) 1 - p. 265-271 , 2019

Link: https://www.jstor.org/st..