Wajsberg normal forms for S

Journal of Philosophical Logic 4 (3):357 - 360 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00262043

Links

PhilArchive



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

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

Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
The Priestley duality for wajsberg algebras.N. G. Martínez - 1990 - Studia Logica 49 (1):31 - 46.
Wajsberg algebras and post algebras.Antonio Jesús Rodríguez & Antoni Torrens - 1994 - Studia Logica 53 (1):1 - 19.
On the estimation of the length of normal derivations.Luiz Carlos P. D. Pereira - 1982 - Stockholm: Akademilitteratur.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
When Normal and Extensive Form Decisions Differ.Teddy Seidenfeld - 1994 - In Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. Elsevier. pp. 451-463.
On the nonexistence of certain normal forms in the logic of provability.George Boolos - 1982 - Journal of Symbolic Logic 47 (3):638-640.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Supercompact cardinals, trees of normal ultrafilters, and the partition property.Julius B. Barbanel - 1986 - Journal of Symbolic Logic 51 (3):701-708.

Analytics

Added to PP
2009-01-28

Downloads
32 (#496,536)

6 months
5 (#625,697)

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

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
An Introduction to Modal Logic.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
A conjunctive normal form for S3.5.M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (2):253-255.

Add more references