Displaying similar documents to “Normal Form Theorem for Systems of Sequents”

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Jan von Plato (2017)

Bulletin of the Section of Logic

Similarity:

The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the partially ordered assumption formulas in a tree that can get closed by the end of a derivation. An algorithm is defined that operates alternatively from the leaves and root of a derivation and solves the problem.

On derivations of quantales

Qimei Xiao, Wenjun Liu (2016)

Open Mathematics

Similarity:

A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation. ...