English
Related papers

Related papers: Combining fragments of classical logic: When are i…

200 papers

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions…

Chaotic Dynamics · Physics 2015-06-26 P. beim Graben , H. Atmanspacher

The apparent difficulty in recovering classical nonlinear dynamics and chaos from standard quantum mechanics has been the subject of a great deal of interest over the last twenty years. For open quantum systems - those coupled to a…

Quantum Physics · Physics 2007-05-23 M. J. Everitt , T. D. Clark , P. B. Stiffell , J. F. Ralph , A. R. Bulsara , C. J. Harland

In this work, we have studied classical and quantum systems in interaction by means of geometric reduction procedure. The main target is the description in these terms of fundamental interactions. We have shown that, to describe in a…

Mathematical Physics · Physics 2017-03-22 M. Laudato

Interaction models describe distributed systems as algebraic terms, with gates marking interaction points between local views. Composing local models into a coherent global one requires aligning these gates while respecting the algebraic…

Formal Languages and Automata Theory · Computer Science 2025-12-09 Joel Nguetoum , Boutheina Bannour , Pascale Le Gall , Erwan Mahe

The concept of entanglement was originally introduced to explain correlations existing between two spatially separated systems, that cannot be described using classical ideas. Interestingly, in recent years, it has been shown that similar…

Quantum Physics · Physics 2015-07-23 R. de J. León-Montiel , A. Vallés , H. M. Moya-Cessa , J. P. Torres

A variant of coupled-cluster theory is described here, wherein the degrees of freedom are fluctuations of fragments between internally correlated states. The effects of intra-fragment correlation on the inter-fragment interaction are…

Chemical Physics · Physics 2019-05-24 Yuhong Liu , Anthony D. Dutoi

We investigate entanglement for a composite closed system endowed with a scaling property allowing to keep the dynamics invariant while the effective Planck constant hbar_eff of the system is varied. Entanglement increases as hbar_eff goes…

Quantum Physics · Physics 2015-05-27 Alex Matzkin

Compositional generalization -- the ability to understand and generate novel combinations of learned concepts -- enables models to extend their capabilities beyond limited experiences. While effective, the data structures and principles…

Machine Learning · Computer Science 2025-12-12 Lingjing Kong , Shaoan Xie , Yang Jiao , Yetian Chen , Yanhui Guo , Simone Shao , Yan Gao , Guangyi Chen , Kun Zhang

Compositional Explanations is a method for identifying logical formulas of concepts that approximate the neurons' behavior. However, these explanations are linked to the small spectrum of neuron activations (i.e., the highest ones) used to…

Machine Learning · Computer Science 2023-10-31 Biagio La Rosa , Leilani H. Gilpin , Roberto Capobianco

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…

Logic · Mathematics 2021-09-03 Peter Arndt , Hugo Luiz Mariano , Darllan Conceição Pinto

A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered…

Computational Complexity · Computer Science 2014-11-25 Vladimir Naidenko

Complex system arises as a result of the nonlinear interactions between components. In particular, the evolutionary dynamics of a multivariate system encodes the ways in which different variables interact with each other individually or in…

Information Theory · Computer Science 2020-04-22 Peishi Jiang , Praveen Kumar

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk,…

Logic in Computer Science · Computer Science 2021-08-13 Nils Kürbis

Existing information-theoretic frameworks based on maximum entropy network ensembles are not able to explain the emergence of heterogeneity in complex networks. Here, we fill this gap of knowledge by developing a classical framework for…

Physics and Society · Physics 2020-07-08 Filippo Radicchi , Dmitri Krioukov , Harrison Hartle , Ginestra Bianconi

A systematic structure of particle interactions is predicted within and beyond the standard model. The proof is performed either on the basis of (A) a generalisable form of general relativity or, equivalently, (B) minimum information…

General Relativity and Quantum Cosmology · Physics 2016-02-22 Pierre-André Mandrin

Experiments in cognitive science and decision theory show that the ways in which people combine concepts and make decisions cannot be described by classical logic and probability theory. This has serious implications for applied disciplines…

Artificial Intelligence · Computer Science 2013-01-08 Diederik Aerts , Liane Gabora , Sandro Sozzo , Tomas Veloz

Interacting systems are ubiquitous in nature and engineering, ranging from particle dynamics in physics to functionally connected brain regions. These interacting systems can be modeled by graphs where edges correspond to the interactions…

Machine Learning · Computer Science 2024-01-25 Zhichao Han , Olga Fink , David S. Kammer

We show that the separability of states in quantum mechanics has a close counterpart in classical physics, and that conditional mutual information (a.k.a. conditional information transmission) is a very useful quantity in the study of both…

Quantum Physics · Physics 2007-05-23 Robert R. Tucci

A convenient algebraic structure to describe some forms of dynamics of two hamiltonian systems with nonpotential (magnetic--type) interaction is considered. An algebraic mechanism of generation of such dynamics is explored on simple "toy"…

solv-int · Physics 2008-02-03 Denis V. Juriev

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…

Logic in Computer Science · Computer Science 2013-03-01 Ruggero Pagnan