Wajsberg's semantics for the system S5 of Lewis

Bulletin of the Section of Logic 2 (2):112-117 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

The proof of L-decidability of Lewis' system S5.Jerzy Slupecki & Grzegorz Bryll - 1972 - Bulletin of the Section of Logic 1 (1):32-34.
On discussive set theory.Lafayette de Moraes - 1985 - Bulletin of the Section of Logic 14 (4):144-148.
The Wajsberg's results connected with separability of the intuitionistic propositional logic.Jacek Kabzinski - 1973 - Bulletin of the Section of Logic 2 (2):131-140.
Wajsberg's algorithm for the classical propositional calculus.Ewa Zarnecka-Bialy - 1973 - Bulletin of the Section of Logic 2 (2):97-102.
A Survey Of Minor Wajsberg's Results Concerning Fragmentary Systems Of The Classical Propositional Calculus.Teodor Stepien - 1973 - Bulletin of the Section of Logic 2 (2):103-106.
The necessity of modal logic s5 is metalogical.Zdzis law Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Extensions of modal logic S5 preserving NP-completeness.Stéphane Demri - 1997 - Bulletin of the Section of Logic 26 (2):73-84.
The deduction theorems valid in certain fragments of the Lewis' system S2 and the system of Feys - von Wright.Stanislaw Surma - 1972 - Bulletin of the Section of Logic 1 (1):45-52.
Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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