Results 1 to 10 of about 28,341 (293)
A Sequent Systems without Improper Derivations
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are
Katsumi Sasaki
doaj +3 more sources
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +1 more source
Inducing syntactic cut-elimination for indexed nested sequents [PDF]
Logical Methods in Computer Science, 2018 The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Revantha Ramanayake
doaj +1 more source
Journal of Interventional Cardiology, 2021 Objectives. The present study was designed to compare the characteristics and performance regarding drug delivery of a novel drug-coated balloon (DCB) to a benchmark device (Restore® versus SeQuent® Please) in an in vitro and in vivo model.
Congying Xia +5 more
doaj +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
Sequent Calculi for Orthologic with Strict Implication
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +1 more source
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
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
Generalized DEL-Sequents [PDF]
, 2012 Let us consider a sequence of formulas providing partial information about an initial situation, about a set of events occurring sequentially in this situation, and about the resulting situation after the occurrence of each event. From this whole sequence, we want to infer more information, either about the initial situation, or about one of the events,
Aucher, Guillaume +2 more
openaire +3 more sources
Cut free sequent calculus for logic S5n(ED)
Lietuvos Matematikos Rinkinys, 2010 Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and ...
Haroldas Giedra
doaj +1 more source