Results 11 to 20 of about 226,250 (290)
A Complete Uniform Substitution Calculus for Differential Dynamic Logic [PDF]
Journal of Automated Reasoning, 2016 Long article extending the conference version that appeared at CADE 2015, arXiv:1503 ...
André Platzer
openaire +5 more sources
Eliminating the substitution axiom from UNITY logic [PDF]
Formal Aspects of Computing, 1991 Abstract The UNITY substitution axiom, “if (x=y) is an invariant of a program, then x can be replaced by y in any property of the program”, is problematic for several reasons. In this paper, dual predicate transformers sst and wst are introduced that allow the strongest invariant of
openaire +3 more sources
A Power Associative Loop Structure for the Construction of Non-Linear Components of Block Cipher
IEEE Access, 2020 In the symmetric key cryptography, the purpose of the substitution box is to generate confusion and hence improve the security of the whole cryptosystem.
Sadam Hussain +3 more
doaj +1 more source
SUBSTITUTION IN RELEVANT LOGICS [PDF]
The Review of Symbolic Logic, 2019 AbstractThis essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form $s\dot{ = }t \wedge A\left( s \right) \to A\left( t \right)$—as these are put forward in Priest’s books In Contradiction and An Introduction to Non-Classical Logic: From If to Is. The stated rules and clauses are shown to
openaire +4 more sources
Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]
Logical Methods in Computer Science, 2013 The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj +1 more source
Logical Forms, Substitutions and Information Types
Logic and Logical Philosophy, 2023 This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform
openaire +1 more source
Дискурс, 2022 Introduction. The article continues a series of publications on the linguistics of relations (hereinafter referred to as R-linguistics) and is devoted to the study of the functioning of logical connectives with nouns and adjectives.
O. M. Polyakov
doaj +1 more source
Alternative modeling schemes for propositional calculus problem
KKU Engineering Journal, 2016 The main objective of this paper is to discuss alternative approaches to convert a propositional logic problem into a 0-1 integer program. The substitution method proposed by Williams and CNF method is used for modeling and representation of logical ...
Anupama Chanda +2 more
doaj +1 more source
A Novel Algorithm of Constructing Highly Nonlinear S-p-boxes
Cryptography, 2019 The role of substitution boxes is very important in block ciphers. Substitution boxes are utilized to create confusion in the cryptosystem. However, to create both confusion and diffusion in any cryptosystem p-boxes and chaos base substitution boxes are ...
Yasir Naseer +3 more
doaj +1 more source
Enkele Bedenkinge oor die Vervangingsprocédé as Literêre Handgreep
Literator, 1986 In this article the author voices some objections against the so called substitution procédé as method in understanding the poetry of Breytenbach. This method was devised by Cloete and followed up by Lombard in her doctoral study and in article(s).
H. le R. Slabbert
doaj +1 more source