Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

DOI10.1093/jigpal/jzl013zbMath1118.03019OpenAlexW1976964734MaRDI QIDQ3442398

R. Alonderis

Publication date: 18 May 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl013

zbMATH Keywords

intuitionistic sequent calculuslikelihood logicGlivenko \(\sigma\)-classes

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Structure of proofs (03F07)

Related Items

A proof-search procedure for intuitionistic propositional logic