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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-02-19

Downloads
29 (#812,446)

6 months
3 (#1,061,821)

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