$$\mathsf {dL}_{\iota }$$ : Definite Descriptions in Differential Dynamic Logic

2019 ◽  
pp. 94-110 ◽  
Author(s):  
Brandon Bohrer ◽  
Manuel Fernández ◽  
André Platzer
Keyword(s):  
Dynamic Logic ◽  
Definite Descriptions

Low Power Wide Fan-in Domino OR Gate Using CN-MOSFETs

2020 ◽  
Vol 10 (1) ◽  
pp. 55-62
Author(s):  
Deepika Bansal ◽  
Bal Chand Nagar ◽  
Brahamdeo Prasad Singh ◽  
Ajay Kumar
Keyword(s):  
Power Consumption ◽  
High Performance ◽  
Dynamic Logic ◽  
Clock Frequency ◽  
Charge Sharing ◽  
Benchmark Circuit ◽  
Domino Circuit ◽  
Power Delay Product ◽  
Domino Circuits ◽  
Or Gate

Background & Objective: In this paper, a modified pseudo domino configuration has been proposed to improve the leakage power consumption and Power Delay Product (PDP) of dynamic logic using Carbon Nanotube MOSFETs (CN-MOSFETs). The simulations for proposed and published domino circuits are verified by using Synopsys HSPICE simulator with 32nm CN-MOSFET technology which is provided by Stanford. Methods: The simulation results of the proposed technique are validated for improvement of wide fan-in domino OR gate as a benchmark circuit at 500 MHz clock frequency. Results: The proposed configuration is suitable for cascading of the high performance wide fan-in circuits without any charge sharing. Conclusion: The performance analysis of 8-input OR gate demonstrate that the proposed circuit provides lower static and dynamic power consumption up to 62 and 40% respectively, and PDP improvement is 60% as compared to standard domino circuit.

scholarly journals A Puzzle about Logical Analysis

Philosophia ◽  
2021 ◽  
Author(s):  
Stefan Rinner
Keyword(s):  
Complete Solution ◽  
Definite Descriptions ◽  
Logical Analysis ◽  
Frege’S Puzzle ◽  
Main Thesis ◽  
Frege's Puzzle ◽  
Belief Ascriptions

AbstractIn this paper, I will present a puzzle for logical analyses, such as Russell’s analysis of definite descriptions and Recanati’s analysis of ‘that’-clauses. I will argue that together with Kripke’s disquotational principles connecting sincere assent and belief such non-trivial logical analyses lead to contradictions. Following this, I will compare the puzzle about logical analysis with Frege’s puzzle about belief ascriptions. We will see that although the two puzzles do have similarities, the solutions to Frege’s puzzle cannot be applied mutatis mutandis to the puzzle about logical analysis. Hence, to say it with Kripke, the main thesis of this paper is that the puzzle is a puzzle. A complete solution to the puzzle promises a better understanding of both logical analyses and belief ascriptions.

scholarly journals The Dynamic Logic of Policies and Contingent Planning

2019 ◽  
pp. 659-674
Author(s):  
Thomas Bolander ◽  
Thorsten Engesser ◽  
Andreas Herzig ◽  
Robert Mattmüller ◽  
Bernhard Nebel
Keyword(s):  
Dynamic Logic ◽  
Contingent Planning

Single event upsets in gallium arsenide dynamic logic

1994 ◽  
Vol 41 (6) ◽  
pp. 2244-2251 ◽  
Author(s):  
D.J. Fouts ◽  
T. Weatherford ◽  
D. McMorrow ◽  
J.S. Melinger ◽  
A.B. Campbell
Keyword(s):  
Gallium Arsenide ◽  
Dynamic Logic ◽  
Single Event ◽  
Single Event Upsets

Asymmetries between uniqueness and familiarity in the semantics of definite descriptions

2021 ◽  
Vol 30 ◽  
pp. 694
Author(s):  
Sadhwi Srinivas ◽  
Kyle Rawlins ◽  
Daphna Heller
Keyword(s):  
Definite Descriptions ◽  
Definite Article ◽  
Two Factors ◽  
Future Work

In over a century of research into the English definite article "the", two main theoretical factors have been identified as relevant to its meaning: namely, (i) uniqueness and (ii) familiarity. The identification of these factors has led to an extensive debate in semantics about which of them is more fundamental to the meaning of "the". In this paper, we contribute to this debate by introducing novel data obtained through two controlled psycholinguistic experiments. We manipulated uniqueness and familiarity of potential referents, examining how these factors affect the comprehension and production of English definite descriptions. The behavioral results reveal an asymmetry between these two factors, with familiarity being a weaker cue than uniqueness – a pattern that is unexpected under any existing theory of definiteness. We close with a discussion of possible extensions to existing theories in light of this result, as well as avenues for future work.

Sign in / Sign up

Export Citation Format

Share Document