Finite-Degree Predicates and Two-Variable First-Order Logic [PDF]
, 2015 We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the order and finite-degree predicates are also definable with the order predicate
Paperman, Charles
core +5 more sources
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter [PDF]
, 2018 We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable.
Rybakov, Mikhail, Shkatov, Dmitry
core +2 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
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
Determinants of Environmental Quality in Indonesia
Journal of Indonesian Applied Economics, 2023 Purpose This research analyzes the determinants of environmental quality in 32 Indonesian provinces in the period between 2013-2019. Design/methodology/approach This research method used an ordinal logistic regression analysis approach where the ...
Peris Frengki Butarbutar
doaj +1 more source
3D scene graph prediction from point clouds
Virtual Reality & Intelligent Hardware, 2022 Background: In this study, we propose a novel 3D scene graph prediction approach for scene understanding from point clouds. Methods: It can automatically organize the entities of a scene in a graph, where objects are nodes and their relationships are ...
Fanfan Wu +3 more
doaj +1 more source
The Effect of Demographic Variables on Teachers Decision to Quit or Stay on the Teaching Profession
Gagasan Pendidikan Indonesia, 2021 Demographic variables as predicate of public secondary school teachers' decision to quit or study in the teaching profession using Akwa Ibom, Nigeria as a case study was the central focus of this study.
Victor Mafone Alasa +1 more
doaj +1 more source
Research on National Pattern Reuse Design and Optimization Method Based on Improved Shape Grammar
International Journal of Computational Intelligence Systems, 2020 Considering the low degree of abstraction of traditional shape grammar in national pattern reuse design, this paper proposes a method based on the combination of improved shape grammar and an optimization algorithm to reuse national patterns design.
Ning Ding, Jian Lv, Lai Hu
doaj +1 more source