Results 271 to 280 of about 191,691 (287)

Modal Sequents

1996
openaire   +1 more source

Cut-free sequent calculi for some tense logics

Studia Logica, 1994
exaly  

Yet Another Bijection Between Sequent Calculus and Natural Deduction

Electronic Notes in Theoretical Computer Science, 2015
Gilles Dowek
exaly  

Sequent Calculus

1981
openaire   +1 more source

A sequent calculus for a logic of contingencies

Journal of Applied Logic, 2013
exaly  

Non-classical Elegance for Sequent Calculus Enthusiasts

Studia Logica, 2016
Andreas Fjellstad
exaly  

L-domains as locally continuous sequent calculi

Archive for Mathematical Logic
Longchun Wang, Qingguo Li
exaly  

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

Information and Computation, 2010
Alessandra Carbone
exaly  

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations

Electronic Notes in Theoretical Computer Science, 2016
Ofer Arieli, Christian Straßer
exaly  

Sequents Generalized

1998
openaire   +1 more source