O pewnym fragmencie implikacyjnego rachunku zdań

Studia Logica 3 (1):208 - 226 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02067260

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

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

Dowód aksjomatyzowalności trójwartościowego implikacyjnego rachunku zdań łukasiewicza.Tadeusz Prucnal - 1967 - Studia Logica 20 (1):133 - 144.
O regułach rachunku zdań.Jerzy Slupecki - 1953 - Studia Logica 1 (1):40-41.
Systemy rachunku zdan i rachunku funkcyjnego o jednym terminie pierwotnym.L. Borkowski - 1957 - Studia Logica 6:51.
O pólpelnych systemach rachunku zdan.G. Bryll - 1966 - Studia Logica 19:117.
O półpełnych systemach rachunku zdań.Grzegorz Bryll - 1966 - Studia Logica 19 (1):117 - 126.
O pewnych fragmentarycznych systemach rachunku zdań.Jerzy Słupecki - 1958 - Studia Logica 8 (1):177 - 187.
Schemat twierdzeń o dedukcji dla rachunku zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):181-187.

Analytics

Added to PP
2009-01-28

Downloads
44 (#529,991)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.
Axiomatization of semigroup consequences.Wolfgang Rautenberg - 1989 - Archive for Mathematical Logic 29 (2):111-123.

View all 9 citations / Add more citations

References found in this work

Note on truth-tables.Jan Kalicki - 1950 - Journal of Symbolic Logic 15 (3):174-181.

Add more references