A correction to my paper "Connections between some notions of completeness of structural propositional calculi"

Studia Logica 34 (3):293 - (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02125232

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Connections between some notions of completeness of structural propositional calculi.Marek Tokarz - 1973 - Studia Logica 32 (1):77 - 91.
On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
A theorem on strongly finite propositional calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
Proof of structural completeness of a certain class of implicative propositional calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
Decidability of structural completeness for strongly finite propositional calculi.Zdzislaw Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Decidability of structural completeness for strongly finite propositional calculi.Zdzis law Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Structural completeness of Gödel's and Dummett's propositional calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
On two notions concerning the structural sentential calculi.Wieslaw Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Correction to my paper "Some completeness results for intermediate propositional logics".C. G. McKay - 1968 - Notre Dame Journal of Formal Logic 9 (4):388-388.
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
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.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.

Analytics

Added to PP
2009-01-28

Downloads
27 (#606,449)

6 months
2 (#1,250,897)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.

Add more citations

References found in this work

No references found.

Add more references