Results 21 to 30 of about 49,509 (302)
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
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
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.
Dixon, C., Fisher, M., Wooldridge, M.
openaire +4 more sources
A Machine-Oriented Logic Based on the Resolution Principle [PDF]
Journal of the ACM, 1965 John A. Robinson
openalex +4 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
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
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 principles in possibilistic logic
International Journal of Approximate Reasoning, 1990 AbstractAn extension of the resolution principle was recently proposed by Dubois and Prade for logical clauses weighted by certainty degrees and was used in theorem proving under uncertainty. These certainty degrees were lower bounds on necessity measures.
Dubois, Didier, Prade, Henri
openaire +3 more sources
A Molecular Logic Gate Enables Unconventional Super-resolution Same-Day Imaging of Lysosome Membrane in Live Cells. [PDF]
Anal ChemXie Y +9 more
europepmc +2 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