Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables [PDF]
Doklady Mathematics, 2022 Abstract— We prove $$\Sigma _{1}^{0}$$-hardness of a number of theories of a binary predicate with three individual variables (in languages without constants or equality). We also show that, in languages with equality and the operators of composition and of transitive closure, theories of a binary predicate are $$\Pi _ ...
Mikhail Rybakov
openaire +2 more sources
First-order logics with partial predicates for checking variable definedness
PROBLEMS IN PROGRAMMINGWe study semantic properties of new classes of program-oriented logics of partial quasiary predicates without monotonicity restriction. A feature of these logics is the use of special 0-ary parametric compositions – partial predicates which checks whether a subject name (variable) has a value in a given data.
S.S. Shkilniak
+6 more sources
Two-variable first order logic with modular predicates over words
, 2013 We consider first order formulae over the signature consisting of the symbols of the alphabet, the symbol < (interpreted as a linear order) and the set MOD of modular numerical predicates. We study the expressive power of FO^2[
Dartois, Luc, Paperman, Charles
openaire +4 more sources
A Version of Predicate Logic with Two Variables That has an Incompleteness Property [PDF]
Studia LogicaAbstract In this paper, we consider predicate logic with two individual variables and general assignment models (where the set of assignments of the variables into a model is allowed to be an arbitrary subset of the usual one). We prove that there is a statement such that no general assignment model in which it is true can be finitely ...
Mohamed Khaled
openaire +4 more sources
Opaque Predicate Construction Algorithm Without Size Constraints [PDF]
Jisuanji kexue, 2023 Combined with opaque predicate,control flow obfuscation enables semantics-preserving transformations,which can achieve the purpose of code protection.However,existing opaque predicate is easily attacked by symbolic execution and has the problem of small ...
WANG Yufang, LE Deguang, Jack TAN, XIAO Le, GONG Shengrong
doaj +1 more source
The Comparison between Aristotle's and Frege's Analyses of the Categorical Proposition [PDF]
Journal of Philosophical Investigations, 2022 The main question of this article is that what are the important differences or similarities between Aristotle's and Frege's analysis of the categorical proposition?
Ahmad Hamdollahi
doaj +1 more source
Substitutions for predicate variables and functional variables. [PDF]
Notre Dame Journal of Formal Logic, 1980 Hubert H. Schneider
openaire +3 more sources
A severity predication method for variable granularity bug report
Nantong Daxue xuebao. Ziran kexue ban, 2022 JIA Yanxin +4 more
openaire +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
Integration of factor analysis and Tsukamoto’s fuzzy logic method for quality control of credit provisions in rural banks [PDF]
Decision Science Letters, 2023 Giving credit to debtors can pose a default risk. This risk arises because of an error in analyzing the credit risk rate of the debtor. Therefore, this study aims to design a framework for analyzing the credit risk rate of debtors so that the ...
Yuyun Hidayat +6 more
doaj +1 more source