Results 11 to 20 of about 28,623 (311)
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
Restrictions for loop-check in sequent calculus for temporal logic with until operator
Lietuvos Matematikos Rinkinys, 2009 In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque.
Adomas Birštunas
doaj +1 more source
Synthesis of some biologically active 2,4'-bipyridine-5-carbonitriles carrying the 4-hydroxyphenylthio moiety [PDF]
Journal of the Serbian Chemical Society, 2009 A series of new 4-aryl-2'-[(4-hydroxyphenyl)thio]-6oxo-1,6-dihydro- 2,4'-bipyridine-5-carbonitriles (3a-k) and 6-amino-4aryl-2'-[(4-hydroxyphenyl) thio]-2,4'-bipyridine-5-carbonitriles (4a-h) were synthesized from 4-hydroxythiophenol (1). The reaction of
Karabasanagouda T. +2 more
doaj +1 more source
Restrictions for loop-check in sequent calculus for temporal logic
Lietuvos Matematikos Rinkinys, 2008 In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj +1 more source
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic.
Arno Ehle +2 more
doaj +1 more source
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj +1 more source
A Sequent Calculus for Opetopes [PDF]
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019 Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak ω-categories, which was the original motivation for their introduction by Baez and Dolan.
Ho Thanh, Cédric +2 more
openaire +2 more sources
Optimization of sizing of annual water storage reservoirs considering return period association
Acta Scientiarum: Technology, 2022 An increasing concern among water resources managers is the search for ways to improve reservoir sizing techniques. A simple technical and scientifically based technique is the sequent peak method, which has been widely disseminated, but presents ...
Aline de Araújo Nunes +3 more
doaj +1 more source
On the Specification of Sequent Systems [PDF]
, 2005 Recently, linear Logic has been used to specify sequent calculus proof systems in such a way that the proof search in linear logic can yield proof search in the specified logic. Furthermore, the meta-theory of linear logic can be used to draw conclusions about the specified sequent calculus.
Elaine Pimentel, Dale Miller 0001
openaire +1 more source
Sequent Systems for Negative Modalities [PDF]
Logica Universalis, 2017 Abstract 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 proof systems, whose philosophical interpretations and computational ...
Ori Lahav 0001 +2 more
openaire +3 more sources