Results 1 to 10 of about 45,755 (142)
Logical Methods in Computer Science, 2017 This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Grigore Rosu
doaj +3 more sources
Attribute-Hiding Predicate Encryption With Equality Test in Cloud Computing
IEEE Access, 2018 Public key encryption with equality test (PKE-ET) enables anyone to perform equivalence test between two messages encrypted under distinct public keys.
Jianfei Sun +3 more
doaj +2 more sources
Известия Иркутского государственного университета: Серия "Математика", 2014 In this work we consider the closure operator with the equality predicate branching (E-operator) on the set of hyperfunctions on two-element set. With respect to this operator closed classes of hyperfunctions are generated.
V.I. Panteleev, L.V. Ryabets
doaj +2 more sources
On the Lattice of $ES_I$-closed Classes of Multifunctions on Two-elements Set
Известия Иркутского государственного университета: Серия "Математика", 2021 The paper considers multifunctions on a two-element set with superposition and the equality predicate branching operator. The superposition operator is based on the intersection of sets. The main purpose of the work is to describe all closed classes with
V.I. Panteleyev, E. S. Taglasov
doaj +1 more source
A Review of Moral Semantics in Mohaghegh Tusi’s Theory [PDF]
Comparative Theology, 2021 Extended Abstract Moral semantics is one of the subjects of moral philosophy which discusses the semantic analysis of moral conceptions and propositions. Moral semantics has a close relationship with the ontology of ethical terms.
Hossein Ahmadi
doaj +1 more source
Similative and Equative Constructions in Lori Silakhori Dialect [PDF]
نشریه پژوهشهای زبانشناسی, 2022 The concept of comparison is expressed in the form of various linguistic constructions. Among the different types of comparative constructions, we can mention similative and equative constructions.
Farhad Moezzipour, Parisa Najafi
doaj +1 more source
A Rereading of Arguments for and against ʿAllāma Ṭabāṭabāʾī’s Account of the Deployment of Demonstrations Propter Quid in Philosophy [PDF]
حکمت معاصر, 2022 A major problem introduced to the contemporary Islamic philosophy by ʿAllāma Ṭabāṭabāʾī is whether propter quid demonstrations (al-barāhīn al-limmiyya) can be deployed in philosophy.
mohammad ali vatandoost, mahdi Chanaani
doaj +1 more source
Predicate Abstraction via Symbolic Decision Procedures [PDF]
Logical Methods in Computer Science, 2007 We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision procedure on all ...
Shuvendu K. Lahiri +2 more
doaj +1 more source
Reality According to Muhammad Baqir Sadr and Mulla Sadra [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2020 According to Mulla Sadra and his Transcendental Wisdom which considers reality being equal to existence to be a self-evident matter, ontology means recognizing reality.
Hasan Lahootiyan, Jamal Sorush
doaj +1 more source
Normalisation by Evaluation for Type Theory, in Type Theory [PDF]
Logical Methods in Computer Science, 2017 We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated in the metalanguage of type theory using quotient inductive types.
Thorsten Altenkirch, Ambrus Kaposi
doaj +1 more source