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

Links

PhilArchive



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

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.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
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.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
The use of axiomatic rejection.Piotr Kulicki - 2000 - In Logica yearbook 1999. Filosophia.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Uwagi o logice trójwartościowej.Tomasz Bigaj - 1997 - Filozofia Nauki 3.
Introduction of implication and generalization in axiomatic calculi.Jean-Yves Beziau - manuscript

Analytics

Added to PP
2013-12-30

Downloads
19 (#796,059)

6 months
1 (#1,464,097)

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