Results 261 to 270 of about 191,691 (287)

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Studia Logica, 2017
Fei Liang
exaly  

Sequent Systems

2019
openaire   +1 more source

A calculus of multiary sequent terms

ACM Transactions on Computational Logic, 2011
José Espírito Santo, Luís Pinto
exaly  

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic, 2007
Nicola Olivetti, Gian Luca Pozzato
exaly  

Many-Placed Sequents

2022
Wei Li, Yuefei Sui
openaire   +1 more source

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

A Survey of Nonstandard Sequent Calculi

Studia Logica, 2014
Andrzej Indrzejczak
exaly