A new axiomatization of K t

Bulletin of the Section of Logic 25:60-62 (1996)
  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: 101,795

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

Axiomatization of a Basic Logic of Logical Bilattices.Mitio Takano - 2016 - Bulletin of the Section of Logic 45 (2).
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW]Edwin Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Heinrich Wansing, Displaying Modal Logic.R. Gore - 2000 - Journal of Logic Language and Information 9 (2):269-272.
A concise axiomatization of RM→.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2001 - Bulletin of the Section of Logic 30 (4):191-194.
A simple axiomatization of Lukasiewicz's modal logic.Zdzis law Dywan - 2012 - Bulletin of the Section of Logic 41 (3/4):149-153.
Displaying modal logic, Heinrich Wansing.Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):269-272.
Axiomatization of the sentential logic dual to Sobocinski's n-valued logic.Anetta Górnicka - 2011 - Bulletin of the Section of Logic 40 (1/2):47-54.
The Gentzen Type Axiomatization of Some Three-valued Propositional Logic.Andrzej Zbrzezny - 1988 - Bulletin of the Section of Logic 17 (2):70-73.
An axiomatization of the variety of equivalential algebras by a single identity.Jacek Kabzinski - 1977 - Bulletin of the Section of Logic 6 (3):102-106.

Analytics

Added to PP
2014-01-21

Downloads
23 (#950,505)

6 months
2 (#1,694,052)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references