The Gentzen Style Axiomatization of ω⁺-Valued Logic

Studia Logica 35 (4):433 - 445 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Many-valued logics of extended Gentzen style II.Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (4):493-528.
The Gentzen style axiomatization of 433-1433-1433-1logic.Ewa Orŀowska - 1976 - Studia Logica 35 (4):433-445.
Bounded contraction and Gentzen-style formulation of łukasiewicz logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Many-valued modal logics.Melvin C. Fitting - unknown
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
Kleene's three valued logics and their children.Melvin Fitting - unknown

Analytics

Added to PP
2011-05-29

Downloads
14 (#986,446)

6 months
2 (#1,188,460)

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

No references found.

Add more references