Results 221 to 230 of about 165,816 (266)
Some of the next articles are maybe not open access.
Systems of Logical Systems: Neuroscience and Quantum Logic
Foundations of Science, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logic and probabilistic systems
Archive for Mathematical Logic, 1996The notion of a probabilistic system, based on the two predicates of the form \(R (\varphi, q) =\) ``the probability value of \(\varphi\) is eventually \(\leq q\)'' and \(S (\varphi, q) = \) ``the probability value of \(\varphi\) is eventually \(\geq q\)'', can be defined as a pair \(\langle R,S \rangle\) of relations between sentences and rational ...
MONTAGNA F., SIMI G., SORBI A.
openaire +2 more sources
A logic for biological systems
Biosystems, 2000This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components.
Z, Duan, M, Holcombe, A, Bell
openaire +2 more sources
Journal of Logic and Computation, 2005
This paper describes a diagrammatic system of propositional logic in which propositions are taken to be vectors or displacements in a 'logical space'.
Jonathan Westphal, Jim Hardy
openaire +1 more source
This paper describes a diagrammatic system of propositional logic in which propositions are taken to be vectors or displacements in a 'logical space'.
Jonathan Westphal, Jim Hardy
openaire +1 more source
1989
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory ...
openaire +1 more source
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory ...
openaire +1 more source
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
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 +1 more source
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
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 +1 more source
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 +1 more source