Results 291 to 300 of about 28,623 (311)

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Studia Logica, 2017
Minghui Ma, Fei Liang, Ma Minghui
exaly  

Conclusiones sequentes

Einblattdruck
openaire   +2 more sources

A calculus of multiary sequent terms

ACM Transactions on Computational Logic, 2011
JOSÉ Espirito Santo, Luis 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  

Cut-free sequent systems for temporal logic

The Journal of Logic and Algebraic Programming, 2008
Kai Brünnler, Martin Lange
exaly  

Glivenko Classes of Sequents

1970
openaire   +2 more sources

Non-classical Elegance for Sequent Calculus Enthusiasts

Studia Logica, 2016
Andreas Fjellstad
exaly  

Cut-free sequent calculi for some tense logics

Studia Logica, 1994
exaly  

A sequent calculus for a logic of contingencies

Journal of Applied Logic, 2013
exaly  

A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

Information and Computation, 2010
Alessandra Carbone
exaly