Results 141 to 150 of about 209,396 (188)
Some of the next articles are maybe not open access.
Constant delay logic technology
Proceedings Seventh Annual IEEE International ASIC Conference and Exhibit, 2002The design of a digital IC is complicated by the range of timing that must be considered in the design process. Delay variations are commonly associated with power supply variations, temperature and process parameter variations. This paper documents one approach to reducing the delay variations, resulting from environmental conditions and process ...
D.W. Hall, J.G. Dooley, A.A. Hernandez
openaire +1 more source
2015 2nd International Conference on Electronics and Communication Systems (ICECS), 2015
The constant delay (CD) logic makes high speed operation of the dynamic circuits possible. In the CD logic, the timing block plays a vital role as it helps in reduction of the evaluation time, by defining a small window width. This paper proposes a modified timing block which yields minimized area even while accomplishing the function.
K Vishnuvardhan Rao +2 more
openaire +1 more source
The constant delay (CD) logic makes high speed operation of the dynamic circuits possible. In the CD logic, the timing block plays a vital role as it helps in reduction of the evaluation time, by defining a small window width. This paper proposes a modified timing block which yields minimized area even while accomplishing the function.
K Vishnuvardhan Rao +2 more
openaire +1 more source
Semantic Minimalism for Logical Constants
Logique et Analyse, 2014In [31], I defended a minimalist account of meaning for logical constants as a way to ward off Quine’s meaning variance charge against deviant logics. Its key idea was that some deviant propositional logics share with classical logic the operational meanings of all their connectives, as encoded in their sequent calculus operational rules, yet validate ...
openaire +2 more sources
2018
A fundamental problem in the philosophy of logic is to characterize the concepts of ‘logical consequence’ and ‘logical truth’ in such a way as to explain what is semantically, metaphysically or epistemologically distinctive about them. One traditionally says that a sentence p is a logical consequence of a set S of sentences in a language L if and only ...
openaire +1 more source
A fundamental problem in the philosophy of logic is to characterize the concepts of ‘logical consequence’ and ‘logical truth’ in such a way as to explain what is semantically, metaphysically or epistemologically distinctive about them. One traditionally says that a sentence p is a logical consequence of a set S of sentences in a language L if and only ...
openaire +1 more source
Adiabatic constant delay logic style
2015 International Conference on Innovations in Information, Embedded and Communication Systems (ICIIECS), 2015An adiabatic constant delay (ACD) logic style is proposed in this paper, for full-custom high-speed and low power applications. The characteristic of ACD logic style will not depend upon the logic type, it makes suitable in implementing complicated logic expressions such as addition.
K. Senthilkumaran, K.R. Kashwan
openaire +1 more source
Logical Form and Logical Constants
2000Abstract A general characterization of the constants of standard logic is achieved by following the suggestion, inspired by Wittgenstein's Tractatus, that the meanings of these constants can be fully explained by reference to no more than two essential features of empirical statements; all such statements must possess excluding power and
openaire +1 more source
Classification of Novikov Complete Logics with Extra Logical Constants
Algebra and Logic, 2003Consider the usual propositional language extended by a family of constants \(\overline{\varphi}=\{\varphi_1,\dots,\varphi_n\}\). An arbitrary set of formulas containing the logic Int is called \(\overline{\varphi}\)-logic if it is closed under modus ponens and substitution.
openaire +2 more sources
A New Constant in Superintuitionistic Logic L3
Algebra and Logic, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2008
Introduction 14.1.1 In this chapter we will start to look at quantified normal modal logics. These come in two varieties: constant domain (where the domain of quantification is the same in all worlds), and variable domain (where the domain may vary from world to world).
openaire +1 more source
Introduction 14.1.1 In this chapter we will start to look at quantified normal modal logics. These come in two varieties: constant domain (where the domain of quantification is the same in all worlds), and variable domain (where the domain may vary from world to world).
openaire +1 more source
Logical constants in quantifier languages
Linguistics and Philosophy, 1985In this paper, the author studies the question of logicality in the context of quantifier languages, in particular, in the context of natural language quantifiers. Given a language, one may ask what it means to say that some constants are ''logical'' and the others ''nonlogical''. The author asks: On what grounds is such a division to be made?
openaire +2 more sources