Results 31 to 40 of about 3,597,563 (258)
A Paradox for the Existence Predicate
Bulletin of the Section of Logic, 2022 In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions.
Uwe Meixner
doaj +1 more source
The AIDA-2020 TLU: a flexible trigger logic unit for test beam facilities [PDF]
Journal of Instrumentation, 2019 The AIDA-2020 Trigger Logic Unit (TLU) has been designed to be a flexible and easily configurable unit to provide trigger and control signals to devices employed during test beams, integrating them with the beam telescope.
P. Baesso, D. Cussans, J. Goldstein
semanticscholar +1 more source
An alternative proof method for possibilistic logic and its application to terminological logics [PDF]
, 1993 Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree or a necessity
Baader +8 more
core +2 more sources
Towards a transportable aluminium ion quantum logic optical clock. [PDF]
Review of Scientific Instruments, 2019 With the advent of optical clocks featuring fractional frequency uncertainties on the order of 10-17 and below, new applications such as chronometric leveling with few-centimeter height resolution emerge.
S. Hannig +9 more
semanticscholar +1 more source
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
International Journal of Computational Intelligence Systems, 2020 At present, most of the first-order logic theorem provers use a binary-resolution method, which can effectively solve the general first-order logic problems to a certain extent.
Jian Zhong, Yang Xu, Feng Cao
doaj +1 more source
Informatika, 2021 There are three main families of inference algorithms in first-order logic: direct inference and its application to deductive databases and production systems; backward inference procedures and logic programming systems; theorem proving systems based on ...
A. М. Sobol +2 more
doaj +1 more source
Resolution method for some class of formulas of modal logic S4
Lietuvos Matematikos Rinkinys, 2004 There is not abstract.
Stanislovas Norgėla
doaj +3 more sources
Time-to-Digital Converter IP-Core for FPGA at State of the Art
IEEE Access, 2021 The Field Programmable Gate Array (FPGA) structure poses several constraints that make the implementation of complex asynchronous circuits such as Time–Mode (TM) circuits almost unfeasible.
Fabio Garzetti +3 more
doaj +1 more source
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +1 more source
All-fibre phase filters with 1-GHz resolution for high-speed passive optical logic processing
Nature Communications, 2023 Authors present a fibre Bragg grating-based all-pass spectral phase filter with an unprecedented frequency resolution of 1 GHz, at least 10× improvement compared to a standard optical waveshaper.
Saket Kaushal +5 more
doaj +1 more source