Information Flow
From MaRDI portal
Publication:4229040
DOI10.1017/CBO9780511895968zbMath0927.03004MaRDI QIDQ4229040
Publication date: 2 March 1999
distributed systemsknowledgequantum logicinformation flowaxiomatic theoryinformation channelsdistributed logical systemsdistributed logicslocal logics
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Information theory (general) (94A15) Quantum logic (03G12)
Related Items
Chu duality theory and coalgebraic representation of quantum symmetries, Formalizing mathematical knowledge as a biform theory graph: a case study, Reasoning with power defaults, A positive information logic for inferential information, Reasoning about data and information. Abstraction between states and commodities, Interpreted and generated signals, On When a Disjunction Is Informative, Toward adaptive rough sets, Covering-based rough sets and modal logics. II., Remarks on classifications and adjunctions, Generalized Kripke frames, Coalgebras, Chu spaces, and representations of physical systems, Proof theory for reasoning with Euler diagrams: a logic translation and normalization, Big toy models. Representing physical systems as Chu spaces, Human rationality challenges universal logic, Semiotic conceptual analysis of part-whole relationships in diagrams, Distributed first order logic, Unconventional algorithms: complementarity of axiomatics and construction, On consistent functions for neighborhood systems, Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks, Three-way approximation of decision granules based on the rough set approach, A formal model of aspect shifting: the case of dot diagrams, Situation-based connexive logic, The nature of information: a relevant approach, Separability, contextuality, and the quantum frame problem, Deflating the deflationary view of information, Unnamed Item, Information systems in modeling interactive computations on granules, Unnamed Item, Information flow in logic for distributed systems: extending graded consequence, Probabilistic argumentation systems. A new way to combine logic with probability., Hierarchical modelling in searching for complex patterns: constrained sums of information systems, Introduction, Information closure and the sceptical objection, Knowledge transformation and fusion in diagnostic systems, Distributed Modal Logic, Tracking Information, What is Shannon information?, Semantic information and the correctness theory of truth, Observational heterarchy enhancing active coupling, Dynamical infomorphism: form of endo-perspective, From data to semantic information, Some notes on declarative specification of semantic data integration task in a peer-to-peer agent system, Why can concept lattices support knowledge discovery in databases?, Interactive information systems: toward perception based computing, Local logics, non-monotonicity and defeasible argumentation, System Consequence, From modal discourse to possible worlds, A Categorical Approach to Mereology and Its Application to Modelling Software Components, A practical measure of the information in a logical theory, A situation-theoretic account of nonmonotonic reasoning, Channel Theoretic Reflections on Dynamic Logics of Speech Acts, Philosophical Conceptions of Information, Information: The Algorithmic Paradigm, Channels: From Logic to Probability, Interactive computations: toward risk management in interactive intelligent systems, Information and impossibilities, Formal verification of multi-agent systems behaviour emerging from cognitive task analysis, Maximal consistent extensions of information systems relative to their theories, Information Algebra, Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence, Rough Sets: From Rudiments to Challenges, Towards an integration science. The influence of Richard Bellman on our research., Schema Mappings: A Case of Logical Dynamics in Database Theory, Situation Theory Reconsidered, An information-based theory of conditionals, A semiotic perspective on polysemy, Concepts in fuzzy scaling theory: Order and granularity., Dynamical duality of type- and token-computation as an abstract brain