A sequent calculus for a logic of contingencies

Journal of Applied Logic 11 (4):530-535 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

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

External links

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

Through your library

Similar books and articles

2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study.Jayanta Sen & M. K. Chakraborty - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):313-329.
Labeled Sequent Calculus for Orthologic.Tomoaki Kawano - 2018 - Bulletin of the Section of Logic 47 (4):217-232.

Analytics

Added to PP
2016-06-30

Downloads
15 (#1,251,099)

6 months
5 (#1,094,604)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Diversification of Object-Languages for Propositional Logics.Nissim Francez - 2018 - Journal of Logic, Language and Information 27 (3):193-203.

Add more citations

References found in this work

Sentential calculus for logical falsehoods.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (3):347-353.
A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain.Theodore Hailperin - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):84-96.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.

Add more references