Results 1 to 10 of about 7,145 (67)

Semilattices global valuations in the topos approach to quantum mechanics [PDF]

, 2017
In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum systems when its phase space is ...
de Ronde, Christian, Domenech, Graciela, Freytes Solari, Hector Carlos   +2 more
core   +1 more source

Strongly Complete Logics for Coalgebras [PDF]

, 2012
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky, Yde Venema
core   +3 more sources

Probability functions in the context of signed involutive meadows [PDF]

, 2016
The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus.
Bergstra, Jan A., Ponse, Alban
core   +3 more sources

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]

, 2014
Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs, Prakash Panangaden
core   +4 more sources

The Isomorphism Relation Between Tree-Automatic Structures [PDF]

, 2010
An $\omega$-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for $\omega$-tree-automatic structures.
A. Blumensath, A. Nies, A.S. Kechris, B. Khoussainov, B. Khoussainov, B. R. Hodgson, C. Delhommé, D. Kuske, L. Staiger, O.V. Belegradek, Olivier Finkel, S. Rubin, S. Todorčcević, S. Todorčević, Stevo Todorčević, W. Just, W. Just, Y.N. Moschovakis   +17 more
core   +4 more sources

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes [PDF]

, 2018
The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations.
BOTTONI, Paolo Gaspare, GORLA, DANIELE, Kasangian, Stefano, LABELLA, Anna   +3 more
core   +1 more source

Topos theory and `neo-realist' quantum theory

, 2007
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects.
A. Döring, B. Banaschewski, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, F. W. Lawvere, G. Birkhoff, J. L. Bell, J. Lambek, M. H. Stone, M. P. Olson, P. T. Johnstone, P. T. Johnstone, R. Goldblatt, R. V. Kadison, S. Kochen, S. M. Lane, S. M. Lane   +20 more
core   +2 more sources

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Boolean Coverings of Quantum Observable Structure: A Setting for an Abstract Differential Geometric Mechanism

, 2003
We develop the idea of employing localization systems of Boolean coverings, associated with measurement situations, in order to comprehend structures of Quantum Observables.
Birkhoff, Butterfield, Butterfield, Butterfield, Davis, Elias Zafiris, Kochen, Rawling   +7 more
core   +2 more sources

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]

, 2019
This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag, A Kanamori, A Kanamori, A Kanamori, A Kanamori, A Kurz, A Wilson, C Chihara, C Rittberg, C Wright, C Wright, C Wright, C Wright, C Wright, D Deutsch, D Deutsch, D Lewis, D Wallace, F Arntzenius, G Frege, G Marcus, G Uzquiano, H Putnam, H Rasiowa, J Hawthorne, J McKinsey, K Fine, L Henkin, M Dummett, M Takeuchi, Michael Rescorla, P Koellner, P Lewis, P Maddy, P Maddy, S Saunders, S Shapiro, S Shapiro, T Jech, T Lando, V Halbach, W Reinhardt, WH Woodin, WV Quine, Y Venema, Y Venema   +45 more
core   +9 more sources