The Degree Of Completeness Of Some Fragments Of The Intuitionistic Propositional Logic

Bulletin of the Section of Logic 2 (2):149-155 (1973)
  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: 93,990

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

A characterization of fragments of the intuitionistic propositional logic.M. T. Porebska & A. Wronski - 1974 - Bulletin of the Section of Logic 3 (2):19-20.
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments.Wieslaw Dziobiak - 1980 - Bulletin of the Section of Logic 9 (3):136-139.
Monadic Fragments of Intuitionistic Control Logic.Anna Glenszczyk - 2016 - Bulletin of the Section of Logic 45 (3/4).
Complexity of intuitionistic propositional logic and its fragments.Mikhail Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):267-292.
Structural completeness of some fragments of intermediate logics.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (1):41-43.
A Characterization Of The Intuitionistic Propositional Logic.Malgorzata Porebska & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):19-20.
Connections between some notions of completeness of structural propositional calculi.Marek Tokarz - 1972 - Bulletin of the Section of Logic 1 (2):17-19.
On Jaskowski-type semantics for the intuitionistic propositional logic.Stanislaw Surma, Andrzej Wronski & Stanislaw Zachorowski - 1974 - Bulletin of the Section of Logic 3 (2):6-10.
On cardinality of matrices strongly adequate for the intuitionistic propositional logic.Roman Suszko - 1974 - Bulletin of the Section of Logic 3 (1):34-38.
The Wajsberg's results connected with separability of the intuitionistic propositional logic.Jacek Kabzinski - 1973 - Bulletin of the Section of Logic 2 (2):131-140.

Analytics

Added to PP
2015-02-02

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

Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.

Add more citations

References found in this work

No references found.

Add more references