-
Views
-
Cite
Cite
Romas Alonderis, Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic, Logic Journal of the IGPL, Volume 15, Issue 1, January 2007, Pages 1–19, https://doi.org/10.1093/jigpal/jzl013
- Share Icon Share
Abstract
We consider conditions under which sequents are derivable in an intuitionistic sequent calculus of propositional star-free likelihood logic iff they are derivable in a classical counterpart of the calculus. Such conditions are defined for sequents with one formula in the succedent (purely Glivenko σ-classes) and for sequents with empty succedent (Glivenko σ-classes).
© The Author, 2006. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org
Issue Section:
Original Articles
You do not currently have access to this article.