Results 81 to 90 of about 970 (166)
Characterizing classes defined without equality [PDF]
, 1997 In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence;
Aplicada Ii +2 more
core
A Review of Functional Encryption in IoT Applications. [PDF]
Sensors (Basel), 2022 Shahzad K, Zia T, Qazi EU.
europepmc +1 more source
On Equality of Lines with Positional Uncertainty [PDF]
, 2010 Geometric reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclid's first postulate, saying that the line determined by two points is unique, makes geometric constructions unambiguous, and, e.g., allows for ...
Wilke, Gwendolin, Frank, Andrew U.
core
First-order transitional modal logics of quasiary predicates with equality
Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and MathematicsIn this paper we study new classes of program-oriented logical formalisms of the modal type – first-order transitional modal logics (TML) of quasiary predicates with equality. Modal logics are successfully used for describing and modeling various subject areas.
openaire +1 more source
Extending higher-order logic with predicate subtyping: Application to PVS [PDF]
, 2018 The type system of higher-order logic allows to exclude some unexpected expressions such as the application of a predicate to itself. However, it is not sufficient to verify more complex criteria such as the absence of divisions by zero.
Gilbert, Frédéric
core +1 more source
, 2008 Let 9 be a finite similarity type, that is, a finite set of (nonlogical) predicate symbols. By an 9’-structure, we mean a relational structure suitable for 9.
core
The First Regulatory Clearance of an Open-Source Automated Insulin Delivery Algorithm. [PDF]
J Diabetes Sci Technol, 2023 Braune K, Hussain S, Lal R.
europepmc +1 more source
Transcendental syntax 2: non deterministic case [PDF]
, 2015 Using a non deterministic analytics, it is possible to expand the au- tonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality.
Girard, Jean-Yves
core
A Decentralized Fuzzy Rule-Based Approach for Computing Topological Relations between Spatial Dynamic Continuous Phenomena with Vague Boundaries Using Sensor Data. [PDF]
Sensors (Basel), 2021 Ntankouo Njila RC +2 more
europepmc +1 more source
Non-Smooth Control Barrier Navigation Functions for STL Motion Planning. [PDF]
Front Robot AI, 2022 Zehfroosh A, Tanner HG.
europepmc +1 more source