Results 21 to 30 of about 2,655,411 (248)
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
A clausal resolution method for extended computation tree logic ECTL [PDF]
, 2006 A temporal clausal resolution method was originally developed for linear time temporal logic and further extended to the branching-time framework of Computation Tree Logic (CTL).
Bolotov, A. +3 more
core +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
A logic for synchronous transitions with dynamic conflict resolution
CLEI Electronic Journal, 2000 This paper introduces a formalism named DSYNC aimed at. the design and verification of synchronous concurrent systems. The components of this formalism are a transition system and first-order linear-time temporal logic. The DSYNC transition system adopts
Vanderlei Moraes Rodrigues +1 more
doaj +1 more source
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +2 more sources
The Completeness of Propositional Resolution: A Simple and Constructive Proof [PDF]
Logical Methods in Computer Science, 2006 It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a resolution ...
Jean Gallier
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
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
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
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