Results 1 to 10 of about 22,264 (219)
A Combinator-Based Superposition Calculus for Higher-Order Logic [PDF]
Automated Reasoning10th International Joint Conference, 2020 We present a refutationally complete superposition calculus for a version of higher-order logic based on the combinatory calculus. We also introduce a novel method of dealing with extensionality. The calculus was implemented in the Vampire theorem prover and we test its performance against other leading higher-order provers.
Bhayat A, Reger G.
europepmc +5 more sources
Superposition as a logical glue [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline.
Andrea Asperti, Enrico Tassi
doaj +6 more sources
Model Completeness, Uniform Interpolants and Superposition Calculus [PDF]
Journal of Automated Reasoning, 2021 AbstractUniform interpolants have been largely studied in non-classical propositional logics since the nineties; a successive research line within the automated reasoning community investigated uniform quantifier-free interpolants (sometimes referred to as “covers”) in first-order theories.
Calvanese, Diego +4 more
openaire +5 more sources
A Superposition Calculus for Abductive Reasoning [PDF]
Journal of Automated Reasoning, 2015 We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules, provided the considered consequences are built on a given finite set of ground terms, represented by constant symbols ...
Echenim, Mnacho, Peltier, Nicolas
openaire +6 more sources
Analyzing Riemann-Liouville constraints in second-order Lagrangian fractional electrodynamic models. [PDF]
PLoS ONEThis study used second-order fractional derivatives to constrain singular Lagrangians to construct comprehensive Hamilton-Dirac equations. Notable contributions include resolving the difficulties associated with fractional derivatives.
Yazen M Alawaideh +2 more
doaj +2 more sources
Fractional Calculus Approach to Reproduce Material Viscoelastic Behavior, including the Time-Temperature Superposition Phenomenon. [PDF]
Polymers (Basel), 2022 The design of modern products and processes cannot prescind from the usage of viscoelastic materials that provide extreme design freedoms at relatively low cost. Correct and reliable modeling of these materials allows effective use that involves the design, maintenance, and monitoring phase and the possibility of reuse and recycling.
Genovese A, Farroni F, Sakhnevych A.
europepmc +4 more sources
Hilbert Space Delocalization under Random Unitary Circuits [PDF]
EntropyThe unitary dynamics of a quantum system initialized in a selected basis state yield, generically, a state that is a superposition of all the basis states.
Xhek Turkeshi, Piotr Sierant
doaj +2 more sources
A Superposition-Based Calculus for Diagrammatic Reasoning [PDF]
23rd International Symposium on Principles and Practice of Declarative Programming, 2021 We introduce a class of rooted graphs which are expressive enough to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems over the considered graphs. Afterwards, we tackle the problem of equational reasoning with the graphs under study and we propose a new Superposition calculus to ...
Rachid Echahed +3 more
openaire +1 more source
Applications of Distributed-Order Fractional Operators: A Review
Entropy, 2021 Distributed-order fractional calculus (DOFC) is a rapidly emerging branch of the broader area of fractional calculus that has important and far-reaching applications for the modeling of complex systems. DOFC generalizes the intrinsic multiscale nature of
Wei Ding +3 more
doaj +1 more source
Exploring the magnetic field of Helmholtz and Maxwell coils: a computer-based approach exploiting the superposition principle [PDF]
Revista Brasileira de Ensino de Física, 2020 Teaching magnetism is one of the most challenging topics at undergraduate level in programmes with scientific background. A basic course includes the description of the magnetic interaction along with empirical results such as the Biot-Savart law's ...
Jorge Enrique García-Farieta +1 more
doaj +1 more source