A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points [PDF]
, 2023 Alexis Saurin
openalex +1 more source
Determination of Sequent Depth Ratio of a B-Jump on the Smooth Bed [PDF]
علوم و مهندسی آبیاری, 2014 B-jump is defined as the jump having the toe section located on a positively sloping upstream channel and the roller end on a downstream horizontal channel.predicting the occurrence of such jump and determination of the sequent depth can help the ...
Manoochehr Shokrian +1 more
doaj
A Usage-Aware Sequent Calculus for Differential Dynamic Logic [PDF]
, 2023 Myra Dotzel +2 more
openalex +1 more source
Curing the misbehavior of reservoir capacity statistics by controlling shortfall during failures using the modified Sequent Peak Algorithm [PDF]
, 2001 Adebayo J. Adeloye +2 more
openalex +1 more source
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus [PDF]
, 2022 Agata Tomczyk +1 more
openalex +1 more source
Grouping based calculus for propositional linear temporal logic
Lietuvos Matematikos RinkinysIn this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj +3 more sources
Synchronization Method and Detection of Sequent Signals in the Ultra Wide Band Channel
, 2020 В. В. Борисов +3 more
openalex +1 more source
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
, 2022 Carlos Olarte +2 more
openalex +1 more source
Reallocating Water: An Application of Sequent [PDF]
We present an axiomatic approach to the reallocation of water rights among economic sectors. Reallocation may be appropriate when the current schedule of water allocation is considered unfair.
Carmen Marchiori, Erik Ansink
core