Switch to: Citations

References in:

Quasi-completeness in non-Fregean logic

Roman Suszko

Studia Logica 29 (1):7-16 (1971)

Add references

You must login to add references.

(1 other version)On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.details Download Export citation Bookmark 18 citations
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.details Two characterizations are given of those structural consequence operations on a propositional language which can be defined via proofs from a finite number of polynomial rules. Download Export citation Bookmark 34 citations
(1 other version)The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.details Download Export citation Bookmark 12 citations
Identity connective and modality.Roman Suszko - 1971 - Studia Logica 27 (1):7-39.details Download Export citation Bookmark 32 citations
Twierdzenie O pełności dla “teorii rodzaju w”.S. L. Bloom - 1971 - Studia Logica 27 (1):56-56.details Download Export citation Bookmark 4 citations
A completeness theorem for “theories of kind W”.Stephen L. Bloom - 1971 - Studia Logica 27 (1):43-55.details Download Export citation Bookmark 8 citations
(1 other version)The Algebraic Treatment of the Methodology of Elementary Deductive Systems.Jerzy Los - 1956 - Journal of Symbolic Logic 21 (2):193-194.details Download Export citation Bookmark 1 citation

1