Results 41 to 50 of about 2,196,068 (340)
The Substitutional Analysis of Logical Consequence [PDF]
Noûs, 2018 AbstractA substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the ...
openaire +3 more sources
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
The substitution interpretation and the expressive power of intensional logics. [PDF]
Notre Dame Journal of Formal Logic, 1979 James W. Garson
openaire +4 more sources
Raumforschung und Raumordnung, 2017 In Germany’s territorial planning community, the relation of demographic change, the provision of public services and civic engagement is mainly sketched out as a substitution logic, in which volunteer work substitutes for employed work of state ...
Robert Nadler
doaj +1 more source
Method to Improve the Cryptographic Properties of S-Boxes
IEEE Access, 2023 This study presents a method based on elementary logic and arithmetic operations to enhance the cryptographic properties of Substitution Boxes (S-Boxes).
Jesus Agustin Aboytes-Gonzalez +4 more
doaj +1 more source
Transforming specifications of observable behaviour into programs [PDF]
, 1994 A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for ...
Gilbert, D, Hogger, C, Zlatuska, J
core +2 more sources
IEEE Open Journal of Nanotechnology, 2022 Designing energy-efficient and secure cryptographic circuits in low-frequency medical devices are challenging due to low-energy requirements. Also, the conventional CMOS logic-based cryptographic circuits solutions in medical devices can be vulnerable to
Amit Degada, Himanshu Thapliyal
doaj +1 more source
Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications
Mathematics, 2021 This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution
Elmira Yu. Kalimulina
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
AUTOMATON MODEL, DEVICE SYNTHESIS AND ADAPTIVE SUBSTITUTION ALGORITHM FOR CACHE MEMORY
Радіоелектронні і комп'ютерні системи, 2020 The probability indicators of the hits or misses events have conditioned the application of the certain substitution policies in the associative cache and the associative translation look-a-side buffer.
Вадим Олексійович Пуйденко
doaj +1 more source