New axiomatizations of Vern

Logica Trianguli 6:21-24 (2002)
  Copy   BIBTEX

Abstract

This note gives two new axiomatizations of each of the modal logics Vern by extension of K with, respectively, an inference rule and an axiom schema other than Vern

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Axiomatization of set theory by extensionality, separation, and reducibility.Harvey Friedman - manuscript
The axiomatization of physical theories.Herbert A. Simon - 1970 - Philosophy of Science 37 (1):16-26.
Tagmemic analysis of elementary algebra.Vern S. Poythress - 1976 - Semiotica 17 (2).
A Formalism for Describing Rules of Conversation.Vern Poythress - 1973 - Semiotica 7 (4).
Acknowledging humanist women.L. Bullough Vern - 2003 - Free Inquiry 23 (4).
Changing lifestyles and perspetives.L. Bullough Vern - 2002 - Free Inquiry 23 (1):22.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Information-theoretic confirmation of semiotic structures.Vern S. Poythress - 2013 - Semiotica 2013 (193):67-82.

Analytics

Added to PP
2014-01-19

Downloads
10 (#1,193,699)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references