Results 271 to 280 of about 25,817 (283)

VARIANTS OF SEQUENT CALCULI

2001
openaire   +1 more source

Uniform interpolation and sequent calculi in modal logic

Archive for Mathematical Logic, 2018
Rosalie Iemhoff
exaly  

L-domains as locally continuous sequent calculi

Archive for Mathematical Logic
Longchun Wang
exaly  

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

Electronic Notes in Theoretical Computer Science, 2003
Blas Ruiz
exaly  

Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework

Logica Universalis, 2018
Norihiro Kamide
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 Vadimovich Lyaletski
exaly  

Sequent Calculi for SCI.

Stud Logica, 2018
openaire   +1 more source

Invertibility in Sequent Calculi.

Arch. Formal Proofs, 2009
openaire   +1 more source

Distributive-Lattice Semantics of Sequent Calculi with Structural Rules

Logica Universalis, 2009
exaly