On the Separation Theorem of Intermediate Propositional Calculi

Journal of Symbolic Logic 34 (3):505-505 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270930

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

Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
Algebraic Proof of the Separation Theorem on Classical Propositional Calculus.Tsutomu Hosoi - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
A note on some intermediate propositional calculi.Branislav R. Boričić - 1984 - Journal of Symbolic Logic 49 (2):329-333.
On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.
Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
The Separation Theorem on the Classical System.Tsutomu Hosoi - 1968 - Journal of Symbolic Logic 33 (1):128-128.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
Craig-godel-lindenbaum's property and sobocinski-tarski's property in propositional calculi.Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (3):116-120.

Analytics

Added to PP
2015-02-05

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