Axiomatic rejection in the implicational-negational invariant sentential calculi of Lukasiewicz

Bulletin of the Section of Logic 36 (1/2):1-6 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.
Dual counterparts of Lukasiewicz sentential calculi.Grzegorz Malinowski & Maciej Spasowski - 1972 - Bulletin of the Section of Logic 1 (3):2-7.
Invariant systems of Lukasiewicz calculi.Marek Tokarz - 1972 - Bulletin of the Section of Logic 1 (3):44-48.
S-algebras For N-valued Sentential Calculi Of Lukasiewicz.Grzegorz Malinowski - 1974 - Bulletin of the Section of Logic 3 (2):25-30.
The degrees of completeness of dual counterparts of Lukasiewicz sentential calculi.Maciej Spasowski - 1975 - Bulletin of the Section of Logic 4 (4):163-167.
Matrix representation for the dual counterparts of Lukasiewicz n-valued sentential calculi and the problem of their degrees of maximality.Grzegorz Malinowski - 1975 - Bulletin of the Section of Logic 4 (1):26-31.
A note on Decision problems for Implicational Sequent Calculi.Norihiro Kamide - 2001 - Bulletin of the Section of Logic 30 (3):129-138.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
Quasi-strongly finite sentential calculi.Zdzis law Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.

Analytics

Added to PP
2013-12-30

Downloads
22 (#968,280)

6 months
3 (#1,471,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).
Rejection in Łukasiewicz's and Słupecki's Sense.Wybraniec-Skardowska Urszula - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.

Add more citations

References found in this work

Add more references