The $\Omega $-system and the Ł-system of modal logic

Notre Dame Journal of Formal Logic 20 (4):915-920 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882814

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,941

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

On Ł ukasiewicz's ${\rm \L}$-modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2 (3):149-153.
On some modal logics related to the Ł -modal system.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17 (2):191-206.
A deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.Stanley J. Krolikoski - 1979 - Notre Dame Journal of Formal Logic 20 (2):461-464.
A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.Stanley J. Krolikoski - 1979 - Notre Dame Journal of Formal Logic 20 (3):545-548.
Smiley Timothy. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 , pp. 149–153.Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):113-113.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
On the Leibnizian modal system.Setsuo Saito - 1968 - Notre Dame Journal of Formal Logic 9 (1):92-96.
A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
On a modal system of R. A. Bull's.Dolph Ulrich - 1976 - Notre Dame Journal of Formal Logic 17 (3):479-480.
Pledger lemma and the modal system S3°.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17:253.

Analytics

Added to PP
2010-08-24

Downloads
59 (#356,317)

6 months
11 (#318,982)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics without Toil? Brady and Rush Meet Halldén.Lloyd Humberstone - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):340–404.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references