An algebraic approach to elementary theories based on N‐valued Lukasiewicz logics

Mathematical Logic Quarterly 30 (1-6):87-96 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840300106

Links

PhilArchive



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

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

An algebraic approach to elementary theories based on n‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1‐6):87-96.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus.Wojciech Suchon - 1984 - Bulletin of the Section of Logic 13 (4):226-228.
Topics in Lukasiewicz Logics.Merwin Gordon Beavers - 1991 - Dissertation, Indiana University
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Lukasiewicz.Roberto Cignoli & Daniele Mundici - 1997 - Studia Logica 58 (1):79-97.
Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study.Jayanta Sen & M. K. Chakraborty - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):313-329.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Characterization of prime numbers by Lukasiewicz's many-valued logics.Alexander Karpenko - 1984 - Bulletin of the Section of Logic 13 (2):64-67.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.

Analytics

Added to PP
2015-12-02

Downloads
34 (#468,159)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

Add more references