Results 271 to 280 of about 1,739 (283)

Sequent Calculi for SCI.

Stud Logica, 2018
openaire   +1 more source

VARIANTS OF SEQUENT CALCULI

2001
openaire   +1 more source

Uniform interpolation and sequent calculi in modal logic

Archive for Mathematical Logic, 2018
Rosalie Iemhoff, Iemhoff Rosalie
exaly  

L-domains as locally continuous sequent calculi

Archive for Mathematical Logic
Longchun Wang, Qingguo Li, Li Qingguo
exaly  

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

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

Cut-free sequent calculi for some tense logics

Studia Logica, 1994
exaly  

On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi

2008
Alexander Lyaletski
exaly  

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems

Lecture Notes in Computer Science, 2003
exaly  

Invertibility in Sequent Calculi.

Arch. Formal Proofs, 2009
openaire   +1 more source

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems

Electronic Notes in Theoretical Computer Science, 2003
exaly