Partial cut elimination for propositional discrete linear time temporal logic
Lietuvos Matematikos Rinkinys, 2010 We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
Lietuvos Matematikos Rinkinys, 2008 In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj +1 more source
Sequent calculus for hybrid logic
Lietuvos Matematikos Rinkinys, 2023 There is not ...
Stanislovas Norgėla +1 more
doaj +1 more source
Characteristics of Hydraulic Jump on The Bed with Permeable Six Legs Elements [PDF]
علوم و مهندسی آبیاری, 2017 Stilling basin is one of the dissipated energy structures in water transfer systems that its dimensions depend on the characteristics of hydraulic jump.In present study, six legs elements have been used in different permeability on basin bed and the ...
Maryam Khajeh Goodari +1 more
doaj +1 more source
The Sequent Calculus of Skew Monoidal Categories [PDF]
, 2018 International ...
Uustalu, Tarmo +2 more
core +3 more sources
The Effect of Infill Steel Plate Thickness on the Cycle Behavior of Steel Plate Shear Walls
Diyala Journal of Engineering Sciences, 2018 The effect of changing in the bed slope of stilling basins produces changing in characteristics of the hydraulic jump such as sequent depth ratio, length of jump ratio, length of the roller and energy dissipation ratio, consequently the dimensions of ...
Ali sadik Abbas +2 more
doaj +1 more source
Sequent systems for negative modalities
, 2017 Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and
Lahav, Ori, Marcos, João, Zohar, Yoni
core +1 more source
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics [PDF]
Logical Methods in Computer Science, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Rajeev Gore +2 more
doaj +1 more source
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
, 2016 I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core