Results 11 to 20 of about 7,165 (87)

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, A.H. Stone, D. Nelson, D. Vakarelov, D.M. Gabbay, G. Kreisel, H. Rasiowa, J. Barwise, J. Järvinen, J. Järvinen, J.-Y. Girard, Jouni Järvinen, P. Miglioli, P. Miglioli, P. Pagliani, P. Pagliani, P. Pagliani, Piero Pagliani, R. Cignoli, S. Vickers, Sándor Radeleczki, T.S. Blyth, Z. Pawlak   +22 more
core   +1 more source

The extension problem for partial Boolean structures in Quantum Mechanics

, 2010
Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back to Bell and ...
Bell J. S., Costantino Budroni, Giovanni Morchio, Givant S., Gleason A. M., Kochen S., Motzkin T., Pitowsky I., Sikorski R.   +8 more
core   +1 more source

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source

Complex Algebras of Arithmetic

, 2009
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers.
Düntsch, Ivo, Pratt-Hartmann, Ian
core   +2 more sources

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

The logic of causally closed spacetime subsets

, 2002
The causal structure of space-time offers a natural notion of an opposite or orthogonal in the logical sense, where the opposite of a set is formed by all points non time-like related with it.
Casini, H.
core   +2 more sources

Algebras for Agent Norm-Regulation

, 2003
An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative ...
Boman, Magnus, Odelstad, Jan
core   +1 more source

Categorical Ontology of Complex Systems, Meta-Systems and Theory of Levels: The Emergence of Life, Human Consciousness and Society [PDF]

, 2010
Single cell interactomics in simpler organisms, as well as somatic cell interactomics in multicellular organisms, involve biomolecular interactions in complex signalling pathways that were recently represented in modular terms by quantum automata with ...
Baianu, Prof. Dr. I.C., Glazebrook, Prof. Dr. James F.   +1 more
core  

The Measurement Problem Is a Feature, Not a Bug-Schematising the Observer and the Concept of an Open System on an Informational, or (Neo-)Bohrian, Approach. [PDF]

Entropy (Basel), 2023
Cuffaro ME.
europepmc   +1 more source

Verifiable biology. [PDF]

J R Soc Interface, 2023
Konur S, Gheorghe M, Krasnogor N.
europepmc   +1 more source