Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

Logic Journal of the IGPL 15 (1):1-19 (2007)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2007
DOI 10.1093/jigpal/jzl013
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
Modal Sequents and Definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Higher-Order Sequent-System for Intuitionistic Modal Logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Basic Propositional Calculus II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Cut-Free Double Sequent Calculus for S5.A. Indrzejczak - 1998 - Logic Journal of the IGPL 6 (3):505-516.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Aspects of Analytic Deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.
Sequent-Systems for Modal Logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
Glivenko Theorems for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.


Added to PP index

Total downloads
5 ( #729,405 of 2,293,801 )

Recent downloads (6 months)
1 ( #410,358 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature