Results 21 to 30 of about 58,088 (162)
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
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dubois, Didier, Prade, Henri
openaire +2 more sources
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
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 for temporal logics of knowledge
Journal of Logic and Computation, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Clare Dixon +2 more
openaire +3 more sources
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