Results 261 to 270 of about 9,801,063 (300)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1950
The main purpose of this paper is to present a formal systemPin which we enjoy a smooth-running technique and which countenances a universe of classes which is symmetrical as between large and small. More exactly,Pis a system which differs from the inconsistent system of [1] only in the introduction of a rather natural new restrictive condition on the ...
openaire +2 more sources
The main purpose of this paper is to present a formal systemPin which we enjoy a smooth-running technique and which countenances a universe of classes which is symmetrical as between large and small. More exactly,Pis a system which differs from the inconsistent system of [1] only in the introduction of a rather natural new restrictive condition on the ...
openaire +2 more sources
Journal of Symbolic Logic, 1948
The purpose of this paper is to show that some of the difficulties confronting logicians are caused by too narrow an interpretation of the function of mathematical logic. I hope to show that very fruitful results can be obtained by considering a much wider range of problems than usually found in the literature.I believe that the function of ...
openaire +1 more source
The purpose of this paper is to show that some of the difficulties confronting logicians are caused by too narrow an interpretation of the function of mathematical logic. I hope to show that very fruitful results can be obtained by considering a much wider range of problems than usually found in the literature.I believe that the function of ...
openaire +1 more source
Proceedings of the June 1971 design automation workshop on Design automation - DAC '71, 1971
The Logic Design System (LDS) is a set of FORTRAN Computer programs that convert Boolean equations and component descriptions into logic diagrams, parts lists, board layouts, wiring lists, and diagnostic data. This system decreases the cost of digital design work and eliminates errors that could be introduced by manual methods.
Frederick G. Linnemann, Carl E. Minich
openaire +1 more source
The Logic Design System (LDS) is a set of FORTRAN Computer programs that convert Boolean equations and component descriptions into logic diagrams, parts lists, board layouts, wiring lists, and diagnostic data. This system decreases the cost of digital design work and eliminates errors that could be introduced by manual methods.
Frederick G. Linnemann, Carl E. Minich
openaire +1 more source
Logic Information Systems for Logic Programmers
2003Logic 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 +2 more sources
2000
The question is posed: in which respects and to what extent are logical systems which employ diagrammatic representations "formal"? I propose to characterize "formal" rules to be those which are reducible to simple constructive operations on the representations themselves. Formal systems, then, are those which employ such formal rules.
openaire +2 more sources
The question is posed: in which respects and to what extent are logical systems which employ diagrammatic representations "formal"? I propose to characterize "formal" rules to be those which are reducible to simple constructive operations on the representations themselves. Formal systems, then, are those which employ such formal rules.
openaire +2 more sources
An efficient logic emulation system
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1992The 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 +2 more
openaire +2 more sources
Logics of Complementarity in Information Systems
MLQ, 2000Summary: 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 +3 more sources
Łukasiewicz Logic: From Proof Systems To Logic Programming
Logic Journal of the IGPL, 2005A 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 +2 more
openaire +2 more sources
Logical Systems and the Principles of Logic
Philosophy of Science, 1942Doubts 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