Double-Line Harmony in a Sequent Setting
نویسندگان
چکیده
This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dos̆en and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.
منابع مشابه
بررسی آزمایشگاهی اثر تخلیه تحتانی سد انحرافی روی مشخصات پرش هیدرولیکی
One of the usual ways to dissipate excess energy in the dam's downstream is hydraulic jump. Hydraulic jump is a rapidly varied flow, in which the flow conditions change from supercritical to sub-critical with a large amount of energy loss. In this research, a combination of two water jets in the form of overflow dam and underflow through a slot on the body of an ogee dam with the USBR standard ...
متن کاملOptimum Design of Scallop Domes for Dynamic Time History Loading by Harmony Search-Firefly Algorithm
This paper presents an efficient meta-heuristic algorithm for optimization of double-layer scallop domes subjected to earthquake loading. The optimization is performed by a combination of harmony search (HS) and firefly algorithm (FA). This new algorithm is called harmony search firefly algorithm (HSFA). The optimization task is achieved by taking into account geometrical and material nonlinear...
متن کاملGeneralized Rough Logics with Rough Algebraic Semantics
The collection of the rough set pairs of an approximation (U, R) can be made into a Stone algebra by defining two binary operators and one unary operator on the pairs. By introducing a more unary operator, one can get a regular double Stone algebra to describe the rough set pairs of an approximation space. Sequent calculi corresponding to the rough alg...
متن کاملIntelligent Tuned Harmony Search for Solving Economic Dispatch Problem with Valve-point Effects and Prohibited Operating Zones
Economic dispatch with valve point effect and Prohibited Operating Zones (POZs) is a non-convex and discontinuous optimization problem. Harmony Search (HS) is one of the recently presented meta-heuristic algorithms for solving optimization problems, which has different variants. The performances of these variants are severely affected by selection of different parameters of the algorithm. Intel...
متن کاملFocused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the introduction of focused proof systems, through the non-determinism reduction and control they provide when searching for proofs in the sequent calculus. However, this technique was not available in the calculus of structures, known for inducing even more non-determinism than other logical formalisms. This work in progress ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017