Results 31 to 40 of about 2,250,044 (344)
A substitution free axiom set for second order logic [PDF]
Notre Dame J. Formal Log., 1969 N. Cocchiarella
semanticscholar +2 more sources
“Fantastic Tricks before High Heaven,” Measure for Measure and Performing Triads
Religions, 2020 Reading Measure for Measure through the logic of substitution has been a long-standing critical tradition; the play seems to invite topical, political, and religious parallels at every turn.
Emily Bryan
doaj +1 more source
Labelled Lambda-calculi with Explicit Copy and Erase [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in the ...
Maribel Fernández, Nikolaos Siafakas
doaj +1 more source
Substitutional Validity for Modal Logic
Notre Dame Journal of Formal Logic, 2023 This paper proposes a modal extension of the substitutional approach to the analysis of logical consequence put forward in [\textit{V. Halbach}, Nôus 54, No. 2, 431--450 (2020; Zbl 1535.03026)]. This approach is axiomatic, and using it one can show that logical truths are true and that validity preserves truth simply by looking at the definitions ...
openaire +2 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
Epsilon Substitution for Predicate Logic
Electronic Proceedings in Theoretical Computer Science, 2011 Grigori Mint︠s︡
openaire +2 more sources
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