Results 281 to 283 of about 1,739 (283)
Some of the next articles are maybe not open access.

Distributive-Lattice Semantics of Sequent Calculi with Structural Rules

Logica Universalis, 2009
exaly  

The expressive power of sequent calculi

2013
openaire   +1 more source

Variants of the first sequent calculi

2014
openaire   +1 more source
sequent calculus
cut-elimination and normal-form theorems
computer science - logic in computer science
mathematics
modal logic including the logic of norms
f.4.1
proof theory
cut-elimination
cut elimination
previous   27  28  29  

Home - About - Disclaimer - Privacy