Quasi-strongly finite sentential calculi

Bulletin of the Section of Logic 9 (4):154-157 (1980)
  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: 91,881

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

Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Decidability of structural completeness for strongly finite propositional calculi.Zdzis law Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Finite structural axiomatization of every finite-valued propositional calculus.Zdzis?aw Dywan - 1980 - Studia Logica 39 (1):1 - 4.
Some results concerning finite models for sentential calculi.Dolph Ulrich - 1972 - Notre Dame Journal of Formal Logic 13 (3):363-368.
Erratum: ``Some results concerning finite models for sentential calculi''.Dolph Ulrich - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
Inferential intensionality.Grzegorz Malinowski - 2004 - Studia Logica 76 (1):3 - 16.
A theorem on strongly finite propositional calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
Finite quasivarieties and self-referential conditions.Alexei Vernitski - 2004 - Studia Logica 78 (1-2):337 - 348.
Decidability op stbdctural completeness fob strongly finite pbopositional calculi.Zdzislaw Dyaan - 1980 - In Jacek K. Kabziński (ed.), Proceedings of the 24-th Conference on the History of Logic, Cracow, April 28-30, 1978. Cracow: Jagiellonian University Press. pp. 147--16.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
Priestley duality for quasi-stone algebras.Hernando Gaitán - 2000 - Studia Logica 64 (1):83-92.

Analytics

Added to PP
2014-02-19

Downloads
17 (#868,760)

6 months
1 (#1,471,540)

Historical graph of downloads
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