On cardinality of matrices strongly adequate for the intuitionistic propositional logic

Bulletin of the Section of Logic 3 (1):34-38 (1974)
  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,779

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

On cardinality of matrices strongly adequate for the intuitionistic propositional logic.Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):34-40.
On the Construction of Matrices Strongly Adequate for Pre-finite Logics.Ewa Graczynska & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):15-17.
The existence of matrices strongly adequate for E, R and their fragments.Marek Tokarz - 1978 - Bulletin of the Section of Logic 7 (3):121-125.
Non-Fregean Logic and Other Formalizations of Propositional Identity'.Grzegorz Malinowski - 1985 - Bulletin of the Section of Logic 14 (1):21-27.
The strongly adequate matrices of the form of product of Lindenbaum's matrices.Jan Bernert - 1980 - Bulletin of the Section of Logic 9 (3):102-106.
A theorem of the degree of complexity of some sentential logics.Jacek Hawranek & Jan Zygmunt - 1980 - Bulletin of the Section of Logic 9 (2):67-69.
A Characterization Of The Intuitionistic Propositional Logic.Malgorzata Porebska & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):19-20.
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.
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.
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
2014-02-19

Downloads
27 (#578,523)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.

Add more citations

References found in this work

Add more references