Results 1 to 10 of about 2,196,068 (340)

On Lei Ma’s Substitution Logic

Journal of Research in Philosophy and History, 2020
According to Lei Ma’s substitutionism, one basic characteristic of the human thinking process is the substitution or replacement of thinking elements. Based on this account, a new version of syllogism, namely the substitution logic, can be developed.
Xing Lyu
semanticscholar   +5 more sources

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic [PDF]

Logical Methods in Computer Science, 2022
This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the idea that exponentials can be seen as explicit substitutions.
Beniamino Accattoli
semanticscholar   +13 more sources

Uniform Substitution for Differential Game Logic [PDF]

International Joint Conference on Automated Reasoning, 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.
A Church, A Platzer, A Platzer, A Platzer, A Platzer, A Tarski, J-D Quesel, N Fulton   +7 more
core   +6 more sources

Uniform Substitution for Differential Refinement Logic [PDF]

International Joint Conference on Automated Reasoning
This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneously reason about properties of and relations between hybrid systems ...
Enguerrand Prebet, André Platzer
semanticscholar   +7 more sources

Fuzzy Logic-Based Substitution-Box for Robust Medical Image Encryption in Telemedicine [PDF]

IEEE Access
Due to privacy and sensitivity of the medical images, the creation of strong medical image encryption schemes has gained the attention of cryptographers.
Abdul Razaq, Louai A. Maghrabi, Musheer Ahmad, Farrah Aslam, Wei Feng   +4 more
doaj   +3 more sources

A Uniform Substitution Calculus for Differential Dynamic Logic [PDF]

CADE, 2015
This paper introduces a new proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a formula for a predicate symbol everywhere.
Platzer, André
core   +5 more sources

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs [PDF]

CADE, 2023
This paper introduces a uniform substitution calculus for $\mathsf{dL}_\text{CHP}$, the dynamic logic of communicating hybrid programs. Uniform substitution enables parsimonious prover kernels by using axioms instead of axiom schemata. Instantiations can
Marvin Brieger, Stefan Mitsch, André Platzer   +2 more
semanticscholar   +8 more sources

A Modal Logic for Quantification and Substitution [PDF]

Logic Journal of IGPL, 1993
Summary: The aim of this paper is to study the \(n\)-variable fragment of first order logic from a modal perspective. We define a modal formalism called cylindric mirror modal logic and show how it is a modal version of first order logic with substitution.
Y. Venema
semanticscholar   +6 more sources

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