Results 271 to 280 of about 9,801,063 (300)
Some of the next articles are maybe not open access.
On Entropy of a Logical System.
J. Multiple Valued Log. Soft Comput., 2013Logical system associated with the partition induced by the corresponding Lindenbaum-Tarski algebra makes possible to define its entropy. We consider three approaches to define the entropy of a logical system, metaphorically called algebraic, probabilistic and philosophical, and give some reasons to discard or accept some of them, resulting with a ...
openaire +2 more sources
Logics of Nonsense and Parry Systems
Journal of Philosophical Logic, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
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 +2 more sources
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 +2 more sources
A Logic for Partial System Description
Journal of Logic and Computation, 2004Summary: In this article, we investigate a notion of approximation based on partial descriptions of a given situation. We adopt a relative approach which focuses on the relations that exist between different partial descriptions, and propose a general algebraic framework for formalizing this notion of partial description where we take two types of ...
openaire +2 more sources
A System of Magnetic Bubble Logic
IEEE Transactions on Computers, 1975By using two magnetic-bubble positions per bit it is possible to develop simple logical circuits which display essentially unlimited fan-in and fan-out. Systems of these circuits can be organized such that they conserve bubbles. Pipelining methods can be employed to enhance the throughput.
openaire +3 more sources
A System of Dynamic Modal Logic
Journal of Philosophical Logic, 1998The system of propositional dynamic logic considered here has a wide set of program operations which makes it undecidable (a tiling problem can be encoded). An axiomatization with a completeness proof is presented.
openaire +2 more sources
Combination Radiation Therapy and Chemotherapy: A Logical Basis for Their Clinical Use
Ca-A Cancer Journal for Clinicians, 1976Stephen K Carter, P Rubin, Philip Rubin
exaly
On Stabilization and Set Stabilization of Multivalued Logical Systems
Automatica, 2017Fangfei Li, Lihua Xie, Hongyi Li
exaly
Basic Properties and a Construction Method for Fail-Safe Logical Systems
IEEE Transactions on Electronic Computers, 1967Hisashi Mine
exaly