Results 11 to 20 of about 454 (145)
Quantum Epistemology and Falsification [PDF]
Entropy, 2022 The operational axiomatization of quantum theory in previous works can be regarded as a set of six epistemological rules for falsifying propositions of the theory.
Giacomo Mauro D’Ariano
doaj +2 more sources
Logical Structures Underlying Quantum Computing [PDF]
Entropy, 2019 In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.
Federico Holik +3 more
doaj +2 more sources
Shapley Mapping and Its Axiomatizations in n-Person Cooperative Interval Games
Mathematics, 2022 Interval games are an extension of cooperative coalitional games, in which players are assumed to face payoff uncertainty. Characteristic functions thus assign a closed interval, instead of a real number.
Junnosuke Shino +2 more
doaj +1 more source
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
Bulletin of the Section of Logic, 2023 In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC).
Tin Adlešić, Vedran Čačić
doaj +1 more source
The Single Axiomatization on CCRL-Fuzzy Rough Approximation Operators and Related Fuzzy Topology
Axioms, 2022 It is well known that lattice-valued rough sets are important branches of fuzzy rough sets. The axiomatic characterization and related topology are the main research directions of lattice-valued rough sets.
Yaoliang Xu, Dandan Zou, Lingqiang Li
doaj +1 more source
On the Axiomatizability of Impossible Futures [PDF]
Logical Methods in Computer Science, 2015 A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the process algebra BCCS.
Taolue Chen +2 more
doaj +1 more source
Quantifying over Boolean announcements [PDF]
Logical Methods in Computer Science, 2022 Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL.
Hans van Ditmarsch, Tim French
doaj +1 more source
Characteristic Sequence of Strongly Minimal Directed Single Graphs of 1-Arity
Computation, 2022 In this paper, we will classify the strongly minimal directed single graphs of 1-arity by axiomatizing the theory of characteristic sequence of such a graph. Then we will show this theory is complete by using Łos-Vaught test. Complete theory is important
Abeer M. Albalahi
doaj +1 more source
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains [PDF]
Logical Methods in Computer Science, 2018 In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains.
Giorgio Bacci +3 more
doaj +1 more source
A Behavioral Foundation of Satiation and Habituation
Mathematics, 2023 Tastes change over time. People’s tastes are distorted through two channels: satiation formation and habit formation. In this paper, we develop a theoretical foundation of satiation and habituation by an axiomatic approach.
Junyi Chai
doaj +1 more source