Twierdzenie O dedukcji dla wielowartościowych rachunków zdań łukasiewicza

Studia Logica 15 (1):20-21 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02125900

Links

PhilArchive



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

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 pełności trójwartościowego, implikacyjno-negacyjnego rachunku zdań łukasiewicza.T. Prucnal - 1966 - Studia Logica 18 (1):71-71.
O sprawdzaniu wyrażeń wielowartościowych rachunków zdań. I.E. Bałuka - 1965 - Studia Logica 17 (1):72-72.
Strukturalna zupełność rachunków zdań gödla I rachunku zdań dummetta.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):74-74.
Twierdzenie O pełności dla “teorii rodzaju w”.S. L. Bloom - 1971 - Studia Logica 27 (1):56-56.
Pojęcia izomorfizmu I identyczności dla wielowartościowych struktur relacyjnych.Jan Waszkiewicz - 1971 - Studia Logica 27 (1):99-99.
Dowód aksjomatyzowalności trójwartościowego implikacyjnego rachunku zdań łukasiewicza.Tadeusz Prucnal - 1967 - Studia Logica 20 (1):133 - 144.

Analytics

Added to PP
2009-01-28

Downloads
38 (#417,305)

6 months
5 (#625,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references