A method of axiomatization of Łukasiewicz logics

Studia Logica 33 (4):333-338 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02123373

Links

PhilArchive



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

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

On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Translating from Łukasiewicz's Logics into Classical Logic: Is it Possible?Itala Loffredo D'ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91:157-168.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.

Analytics

Added to PP
2009-01-28

Downloads
30 (#521,181)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Plausible reasoning expressed by p-consequence.Szymon Frankowski - 2008 - Bulletin of the Section of Logic 37 (3/4):161-170.

View all 7 citations / Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
A Theorem About Infinite-Valued Sentential Logic.Robert Mcnaughton - 1951 - Journal of Symbolic Logic 16 (3):227-228.

Add more references