Results 231 to 240 of about 165,816 (266)

An efficient logic emulation system

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1992
The Realizer, a system which automatically configures a network of field-programmable gate arrays (FPGAs) to implement large digital logic designs, is presented. Logic and interconnect are separated to achieve optimum FPGA utilization. The interconnection architecture, called the partial crossbar, greatly reduces system-level placement and routing ...
Michael Butts, Jon Batcheller, Joseph Varghese   +2 more
openaire   +1 more source

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

Łukasiewicz Logic: From Proof Systems To Logic Programming

Logic Journal of the IGPL, 2005
A basic goal-directed calculus for Łukasiewicz logic is introduced which is refined in order to improve efficiency and obtain termination for the calculus. The authors also propose an extension of the proof procedure based on rational Pavelka logic, in order to compute the maximal truth-value for which a goal is a logical consequence of a database.
G., Metcalfe, Olivetti, Nicola, D., Gabbay   +2 more
openaire   +2 more sources

Logical Systems and the Principles of Logic

Philosophy of Science, 1942
Doubts concerning the validity of logic are as old as the empirical criticism of science. In the last two decades the idea that truth is relative to given sets of basic assumptions has been prominent; and the controversy about the principle of excluded middle has focussed renewed attention upon the nature of logic and its fundamental principles.Recent ...
openaire   +1 more source

On the Logical System L₁

Mathematical Logic Quarterly, 1986
.
openaire   +2 more sources

Logics of Nonsense and Parry Systems

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

On Entropy of a Logical System.

J. Multiple Valued Log. Soft Comput., 2013
Logical 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

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

A Logic for Partial System Description

Journal of Logic and Computation, 2004
Summary: 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, 1975
By 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   +2 more sources