Sciweavers

36 search results - page 3 / 8
» An Abstract Axiomatization of the Notion of Entropy
Sort
View
COLT
2007
Springer
14 years 1 months ago
Generalised Entropy and Asymptotic Complexities of Languages
Abstract. In this paper the concept of asymptotic complexity of languages is introduced. This concept formalises the notion of learnability in a particular environment and generali...
Yuri Kalnishkan, Vladimir Vovk, Michael V. Vyugin
BIRTHDAY
2003
Springer
14 years 20 days ago
A Hierarchical Completeness Proof for Propositional Temporal Logic
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
Ben C. Moszkowski
WILF
2007
Springer
114views Fuzzy Logic» more  WILF 2007»
14 years 1 months ago
Information Entropy and Co-entropy of Crisp and Fuzzy Granulations
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
Daniela Bianucci, Gianpiero Cattaneo, Davide Ciucc...
TYPES
2000
Springer
13 years 11 months ago
A Tour with Constructive Real Numbers
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
Alberto Ciaffaglione, Pietro Di Gianantonio
RELMICS
2000
Springer
13 years 11 months ago
Implication-with-possible-exceptions
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
Nerman Jurrjus, Harrie C. M. de Swart