Results 281 to 290 of about 28,341 (293)

Vivant sequentes!

1886
openaire   +1 more source

Metainferential Sequent Calculi

2023
Federico Pailos, Bruno Da Ré
openaire   +1 more source

Sequent Occupance

2006
openaire   +1 more source

Vivant sequentes!

1913
openaire   +1 more source

Modal Sequents

1996
openaire   +1 more source

Sequent Calculus

1981
openaire   +1 more source

Sequents Generalized

1998
openaire   +1 more source

Sequentes Positiones

openaire   +1 more source

Sequent calculus

2006
openaire   +1 more source

Glivenko Classes of Sequents

1970
openaire   +2 more sources