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

Jan von Plato

Displaying similar documents to “From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction”

Normal Form Theorem for Systems of Sequents

Mirjana Borisavljević (2007)

Publications de l'Institut Mathématique

Similarity:

Formalizing a non-linear Henkin quantifier

E. López-Escobar (1991)

Fundamenta Mathematicae

Similarity:

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. ...