Results 271 to 273 of about 5,524 (273)
Some of the next articles are maybe not open access.

G3-style Sequent Calculi for Gurevich Logic and Its Neighbors

Studia Logica
Norihiro Kamide
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
mathematics
computer science - logic in computer science
cut-elimination and normal-form theorems
modal logic including the logic of norms
16. peace & justice
f.4.1
cut elimination
modal logic
previous   26  27  28  

Home - About - Disclaimer - Privacy