Results 241 to 250 of about 1,309,863 (280)
Design and optimization of a quaternary booth multiplier in quaternary logic using carbon nanotube transistors. [PDF]
Sci RepToosanloo SA, Javidan J.
europepmc +1 more source
An Open-Source QAM MODEM for Visible Light Communication in FPGA for Real-Time Applications. [PDF]
Sensors (Basel)Ricci S.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
1998
We now introduce the logical basis for program refinement, higher-order logic. This is an extension of the simply typed lambda calculus with logical connectives and quantifiers, permitting logical reasoning about functions in a very general way. In particular, it allows quantification over higher-order entities such as predicates and relations, a ...
Ralph-Johan Back, Joakim Wright
openaire +2 more sources
We now introduce the logical basis for program refinement, higher-order logic. This is an extension of the simply typed lambda calculus with logical connectives and quantifiers, permitting logical reasoning about functions in a very general way. In particular, it allows quantification over higher-order entities such as predicates and relations, a ...
Ralph-Johan Back, Joakim Wright
openaire +2 more sources
1983
What is nowadays the central part of any introduction to logic, and indeed to some the logical theory par excellence, used to be a modest fragment of the more ambitious language employed in the logicist program of Frege and Russell. ‘Elementary’ or ‘first-order’, or ‘predicate logic’ only became a recognized stable base for logical theory by 1930, when
Johan Van Benthem, Kees Doets
openaire +1 more source
What is nowadays the central part of any introduction to logic, and indeed to some the logical theory par excellence, used to be a modest fragment of the more ambitious language employed in the logicist program of Frege and Russell. ‘Elementary’ or ‘first-order’, or ‘predicate logic’ only became a recognized stable base for logical theory by 1930, when
Johan Van Benthem, Kees Doets
openaire +1 more source
2005
Abstract The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that.
openaire +2 more sources
Abstract The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that.
openaire +2 more sources
1999
The approach presented in this chapter significantly differs from all formalisms presented before. Up to now, all approaches were fully automized based on simple formalisms like FSMs, close to the usual modeling methods of hardware ...
openaire +1 more source
The approach presented in this chapter significantly differs from all formalisms presented before. Up to now, all approaches were fully automized based on simple formalisms like FSMs, close to the usual modeling methods of hardware ...
openaire +1 more source
International Journal of Theoretical Physics, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2002
Abstract We now turn from first-order logic to higher-order logic: the principal extra feature of this logic, compared with that which we studied in Chapter D1, is that we have variables running over types whose intended interpretation is the set of all subsets of (the set denoted by) some other type, or the set of all functions between ...
openaire +1 more source
Abstract We now turn from first-order logic to higher-order logic: the principal extra feature of this logic, compared with that which we studied in Chapter D1, is that we have variables running over types whose intended interpretation is the set of all subsets of (the set denoted by) some other type, or the set of all functions between ...
openaire +1 more source
1994
Abstract Higher order logics, long considered by many to be an esoteric subject, are increasingly recognized for their foundational importance and practical usefulness, notably in Theoretical Computer Science. In this chapter we try to present a survey of some issues and results, without any pretense of completeness. Our choice of topics
openaire +1 more source
Abstract Higher order logics, long considered by many to be an esoteric subject, are increasingly recognized for their foundational importance and practical usefulness, notably in Theoretical Computer Science. In this chapter we try to present a survey of some issues and results, without any pretense of completeness. Our choice of topics
openaire +1 more source