Results 41 to 50 of about 454 (145)
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz +2 more
doaj +1 more source
Axiomatic Information Thermodynamics [PDF]
Entropy, 2018 We present an axiomatic framework for thermodynamics that incorporates information as a fundamental concept. The axioms describe both ordinary thermodynamic processes and those in which information is acquired, used and erased, as in the operation of Maxwell’s demon.
Austin Hulse +2 more
openaire +4 more sources
First-order logic with metric betweenness – the case of non-definability of some graph classes
AKCE International Journal of Graphs and CombinatoricsThe metric betweenness of a connected graph and arbitrary graphs is FO definable. Moreover, several interesting classes of graphs with strong distance properties are shown to be FO definable using metric betweenness.
Jeny Jacob, Manoj Changat
doaj +1 more source
Toward an Axiomatization of Strongly Possible Functional Dependencies
Vietnam Journal of Computer Science, 2021 In general, there are two main approaches to handle the missing data values problem in SQL tables. One is to ignore or remove any record with some missing data values.
Munqath Alattar, Attila Sali
doaj +1 more source
Theory and Applications of Categories, 2007 Summary: The nature of the spatial background for classical analysis and for modern theories of continuum physics requires more than the partial invariants of locales and cohomology rings for its description. As Maxwell emphasized, this description has various levels of precision depending on the needs of investigation.
openaire +2 more sources
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Logical Methods in Computer Science, 2012 Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source
, 2009 We present an axiomatic and operational theory of quantum mechanics. The theory is founded on the axiomatic and operational approach started in Geneva mainly by Constantin Piron and his students and collaborators and developed further in Brussels by myself and different students and collaborators.
openaire +2 more sources
Privacy: An Axiomatic Approach
Entropy, 2022 The increasing prevalence of large-scale data collection in modern society represents a potential threat to individual privacy. Addressing this threat, for example through privacy-enhancing technologies (PETs), requires a rigorous definition of what exactly is being protected, that is, of privacy itself.
Alexander Ziller +4 more
openaire +5 more sources
Journal of Artificial Intelligence Research, 2000 Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3 ...
openaire +5 more sources
Axiomatizing Rumsfeld Ignorance
Journal of Philosophical Logic, 2023 In a recent paper, Kit Fine presents some striking results concerning the logical properties of (first-order) ignorance, second-order ignorance and Rumsfeld ignorance. However, Rumsfeld ignorance is definable in terms of ignorance, which makes some existing results and the axiomatization problem trivial.
openaire +3 more sources