Nowy dowód pełności pewnego wielowartościowego systemu rachunku zdań

Studia Logica 19 (1):111 - 116 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02186731

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

O pełnosci węzszego rachunku funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.
Dowód pełności trójwartościowego, implikacyjno-negacyjnego rachunku zdań łukasiewicza.T. Prucnal - 1966 - Studia Logica 18 (1):71-71.
Pewien dowód zupeŀności dwuwartościowego rachunku zdań.Wacŀaw Sadowski - 1961 - Studia Logica 11 (1):49 - 55.
Dowód aksjomatyzowalności trójwartościowego implikacyjnego rachunku zdań łukasiewicza.Tadeusz Prucnal - 1967 - Studia Logica 20 (1):133 - 144.
Dowód nieistnienia skończonej matrycy adekwatnej dla rachunku zdań, W którym wyrażenia tracą sens.K. Piróg-Rzepecka - 1968 - Studia Logica 22 (1):59-59.
O półpełnych systemach rachunku zdań.Grzegorz Bryll - 1966 - Studia Logica 19 (1):117 - 126.
Dowód ł-rozstrzygalności systemu s5 lewisa.J. Słupecki & G. Bryll - 1973 - Studia Logica 32 (1):106-106.
Strukturalna zupełność rachunków zdań gödla I rachunku zdań dummetta.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):74-74.
Dowód niesprzeczności systemu logicznego borkowskiego zawierającego arytmetykę peany.T. Kubiński - 1963 - Studia Logica 14 (1):220-222.
O niezależności pewnego systemu aksjomatycznego rachunku zdań.N. Georgiewa - 1971 - Studia Logica 28 (1):70-70.

Analytics

Added to PP
2009-01-28

Downloads
24 (#650,558)

6 months
2 (#1,202,576)

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

Add more references