On the equivalence between the calculi "MCv" and "EC"v"+1 of A. Bressan

Notre Dame Journal of Formal Logic 24:367-388 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870381

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Extensions of the Modal Calculi MC v and MC∞. Comparison of them with Similar Calculi Endowed with Different Semantics. Application to Probability Theory. [REVIEW]Aldo Bressan - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 21--66.
Some answers to Max Urchs' comments on a paper by A. Bressan.Aldo Bressan - 1996 - Logic and Logical Philosophy 4:123-131.
Replies to van Fraassen's Comments: Bressan and Suppes on Modality.Aldo Bressan - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:331 - 334.
Comments on Aldo Bressan's paper.Max Urchs - 1995 - Logic and Logical Philosophy 3:37-42.
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):756-757.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.

Analytics

Added to PP
2010-08-24

Downloads
17 (#849,202)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references