Abstract
The logic J of the weak excluded middle, known also as Jankov’s logic, is an extension of the intuitionistic logic obtained by adding the schema ¬A⋁¬¬A. This logic, we believe, offers a good case study for some metatheoretical properties: Is there a cut-free calculus for this logic? Is it analytic? Is there a proof-search procedure that answers the question whether a formula is a theorem or not, and if not, does it give us a strategy to build a countermodel? It is a well known result [4] that Lemma 1. (Hosoi) If a wff A contains the propositional letters p 1,...,p n then A is a theorem of J iff (¬p 1 ⋁ ¬¬p 1) ⋀ ⋯ ⋀ (¬p n ⋁ ¬¬p n ) → A is a theorem of the intuitionistic logic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. Corsi: Semantic Trees for Dummett’s Logic LC. Studia Logica XLV (1986) pp 99–206
G. Corsi: A cut-free calculus for Dummett’s LC quantified. Zeitschr. f. math. Logik und Grundlagen d. Math. 35 (1989) pp 289–301
G. Corsi, G. Tassi: Intuitionistic logic freed of all metarules. Journal of Symbolic Logic 72 (2007) pp 1204–1218
T. Hosoi: Pseudo two-valued evaluation method for intermediate logics. Studia Logica XLV (1986) pp 3–8
T. Hosoi: Gentzen-type Formulation of the Propositional Logic LQ. Studia Logica XLVII (1988) pp 4–48
V. A. Jankov: The calculus of the weak “law of excluded middle”. Math. USSR Izvestija 2 (1968) pp 997–1004
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Italia
About this chapter
Cite this chapter
Corsi, G. (2008). The Logic of the Weak Excluded Middle: A Case Study of Proof-Search. In: Lupacchini, R., Corsi, G. (eds) Deduction, Computation, Experiment. Springer, Milano. https://doi.org/10.1007/978-88-470-0784-0_6
Download citation
DOI: https://doi.org/10.1007/978-88-470-0784-0_6
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-0783-3
Online ISBN: 978-88-470-0784-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)