Results 1 to 10 of about 226,250 (290)
Bialgebraic Semantics for Logic Programming [PDF]
Logical Methods in Computer Science, 2015 Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming.
Filippo Bonchi, Fabio Zanasi
doaj +8 more sources
The language of Stratified Sets is confluent and strongly normalising [PDF]
Logical Methods in Computer Science, 2018 We study the properties of the language of Stratified Sets (first-order logic with $\in$ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF.
Murdoch J. Gabbay
doaj +5 more sources
Uniform Substitution for Differential Game Logic [PDF]
, 2018 This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a function or predicate symbol everywhere. After generalizing them to differential game logic and allowing for the substitution of hybrid games for game symbols, uniform substitutions make it possible to
A Church +7 more
openaire +3 more sources
Lightweight image encryption for wireless sensor networks using optimized elliptic curve and fuzzy logic [PDF]
Scientific ReportsWireless Sensor Networks face data breach risks due to resource-limited nodes and open environments. This clearly identifies the vulnerability of WSNs to data breaches, setting the context for the research.
Mohsen Zarei +3 more
doaj +2 more sources
Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7. Internal Logic 1
Дискурс, 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 verbs. The article is the first part of the
O. M. Polyakov
doaj +1 more source
Conditional nature of the application of the substitution of the unserved part of punishment with a milder penalty as a way to improve this criminal law institution [PDF]
Пенитенциарная наука, 2023 Introduction: the article discusses the way to improve the application of norms of the institution of the substitution of the unserved part of punishment with a milder penalty (hereinafter – punishment substitution) by establishing conditions under ...
Balasanov M.R.
doaj +1 more source
Hereditary Substitution for the λΔ-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj +1 more source
“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