Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

Logic Journal of the IGPL 15 (1):1-19 (2007)
  Copy   BIBTEX

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 and for sequents with empty succedent

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzl013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
The Explosion Calculus.Michael Arndt - 2020 - Studia Logica 108 (3):509-547.
Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
A Gentzen-type calculus of sequents for single-operator propositional logic.John Riser - 1967 - Journal of Symbolic Logic 32 (1):75-80.
Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.
A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic.John Riser - 1968 - Journal of Symbolic Logic 33 (1):129-129.
An Analytic Calculus for the Intuitionistic Logic of Proofs.Brian Hill & Francesca Poggiolesi - 2019 - Notre Dame Journal of Formal Logic 60 (3):353-393.
Loop-Check Specification for a Sequent Calculus of Temporal Logic.Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė & Haroldas Giedra - 2022 - Studia Logica 110 (6):1507-1536.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Non-classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.

Analytics

Added to PP
2015-02-04

Downloads
8 (#1,345,183)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
A proof-search system for the logic of likelihood.R. Alonderis & H. Giedra - 2020 - Logic Journal of the IGPL 28 (3):261-280.

Add more citations

References found in this work

No references found.

Add more references