Results 191 to 200 of about 1,192,263 (231)

Logic Information Systems for Logic Programmers

2003
Logic Information Systems (lis) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to update it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular ...
openaire   +1 more source

THE LOGIC OF INFORMATION IN STATE SPACES

The Review of Symbolic Logic, 2020
AbstractState spaces are, in the most general sense, sets of entities that contain information. Examples include states of dynamical systems, processes of observations, or possible worlds. We use domain theory to describe the structure of positive and negative information in state spaces.
openaire   +3 more sources

Logics of Complementarity in Information Systems

MLQ, 2000
Summary: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation in the case of relations which distinguish objects ...
Ivo Düntsch, Ewa Orlowska
openaire   +2 more sources

The Logic of Being Informed

SSRN Electronic Journal, 2006
One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation ia is informed that pi (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known
openaire   +1 more source

LOGICAL PLURALISM AND SEMANTIC INFORMATION

Journal of Philosophical Logic, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Information and Logical Discrimination

2012
Allo & Mares [2] present an "informational" account of logical consequence that is based on the content-nonexpansion platitude. The core of this proposal is an inversion of the standard direction of explanation: Informational content is not defined relative to a pre-existing logical space, but it is approached in terms of the level of abstraction at ...
openaire   +2 more sources

Logic for information systems

Fundam. Informaticae, 1992
Decision logic is a language for expressing relations between attributes and values in a knowledge representation system. Two axiomatizations of this logic are proposed and shown to be sound and complete.
openaire   +1 more source

The Logic of Information Merge and Sequential Information

2013 IEEE International Conference on Systems, Man, and Cybernetics, 2013
The logic LMS of information merge and sequential information is introduced as a Gentzen-type sequent calculus. LMS has a specific inference rule called the mingle, which can suitably represent information merge processes. LMS has also a specific modal operator called the sequence modal operator, which can suitably represent sequential information. The
openaire   +1 more source

A positive information logic for inferential information

Synthese, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Informal logic and the reconfiguration of logic

2002
Publisher Summary This chapter describes how informal logic emerged as an attempt to reconfigure one part of logic in the wake of the sorts of critiques. Informal logic appeared first as an attempt to reform the introductory-level undergraduate logic course.
openaire   +1 more source