The representation theorem for the algebras determined by the fragments of infinite-valued logic of Lukasiewicz

Bulletin of the Section of Logic 7 (4):176-178 (1978)
  Copy   BIBTEX

Abstract

In this paper we shall give a characterization of D-algebras in terms of lattice ordered abelian groups. To make this paper self-contained we shall recall some notations from [4]. The symbols !; ^; _; serve as implication, conjunction, disjunction, and negation, respectively. By D we mean a set of connectives from the list above containing the implication connective !. By a D-formula we mean a formula built up in a usual way from an innite set of the propositional variables and connectives from D

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz.Barbara Wozniakowska - 1977 - Bulletin of the Section of Logic 6 (4):186-188.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.
A constructive proof of McNaughton's theorem in infinite-valued logic.Daniele Mundici - 1994 - Journal of Symbolic Logic 59 (2):596-602.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Curry's paradox, Lukasiewicz, and field.Peter Smith - unknown
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
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.
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.
Uwagi o logice trójwartościowej.Tomasz Bigaj - 1997 - Filozofia Nauki 3.

Analytics

Added to PP
2014-02-19

Downloads
24 (#657,313)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references