A tableau system for propositional S

Notre Dame Journal of Formal Logic 18 (2):292-294 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887933

Other Versions

No versions found

Links

PhilArchive



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

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

Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.
Correcting the tableau procedure for ${\rm S}4$.Bangs L. Tapscott - 1984 - Notre Dame Journal of Formal Logic 25 (3):241-249.
A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.Ian Philip Gent - 1992 - Notre Dame Journal of Formal Logic 33 (3):369-382.
A tableau style proof system for two paraconsistent logics.Anthony Bloesch - 1993 - Notre Dame Journal of Formal Logic 34 (2):295-301.
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.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
Generalized ${\rm S}2$-like systems of propositional modal logic.Mark A. Brown - 1982 - Notre Dame Journal of Formal Logic 23 (1):53-61.
On the propositional system $A$ of Vučković and its extension. II.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (3):223-237.
On the propositional system $A$ of Vučković and its extension. I.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (2):141-153.

Analytics

Added to PP
2010-08-24

Downloads
30 (#752,215)

6 months
13 (#261,362)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.

Add more citations

References found in this work

No references found.

Add more references