A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic

Notre Dame Journal of Formal Logic 20 (3):545-548 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882659

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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 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.
On Ł ukasiewicz's ${\rm \L}$-modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2 (3):149-153.
Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):457-460.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
Ł ukasiewicz's twin possibility functors.Stanley J. Krolikoski - 1979 - Notre Dame Journal of Formal Logic 20 (2):458-460.
A modal natural deduction system for S4.O. A. Robinson - 1979 - Notre Dame Journal of Formal Logic 20:625.
Deduction Theorem in Congruential Modal Logics.Krzysztof A. Krawczyk - 2023 - Notre Dame Journal of Formal Logic 64 (2):185-196.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
On Lukasiewcz's L - modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2:149.

Analytics

Added to PP
2010-08-24

Downloads
24 (#155,087)

6 months
5 (#1,552,255)

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