A propositional system induced by Japaridze's approach to IF logic

Logic Journal of the IGPL 22 (6):982-991 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu020

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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 many-sorted variant of Japaridze’s polymodal provability logic.Gerald Berger, Lev D. Beklemishev & Hans Tompits - 2018 - Logic Journal of the IGPL 26 (5):505-538.
Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.
Propositional dynamic logic for Petri nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.
Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.
Uniqueness of axiomatic extensions of cut-free classical propositional logic.Mario Piazza & Gabriele Pulcini - 2016 - Logic Journal of the IGPL 24 (5).
Unification with parameters in the implication fragment of classical propositional logic.Philippe Balbiani & Mojtaba Mojtahedi - 2022 - Logic Journal of the IGPL 30 (3):454-464.
The Logic of Classes.E. G. K. Lopez-Escobar - 2007 - Logic Journal of the IGPL 15 (5-6):689-706.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
Interpolation.Misha Gavrilovich - 1997 - Logic Journal of the IGPL 5 (3):11-16.
On the number of variables in undecidable superintuitionistic propositional calculi.Grigoriy V. Bokov - 2016 - Logic Journal of the IGPL 24 (5).

Analytics

Added to PP
2016-06-30

Downloads
18 (#1,128,506)

6 months
5 (#1,091,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A cirquent calculus system with clustering and ranking.Wenyan Xu - 2016 - Journal of Applied Logic 16:37-49.
A Propositional Cirquent Calculus for Computability Logic.Giorgi Japaridze - 2024 - Journal of Logic, Language and Information 33 (4):363-389.

Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.

Add more references