An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

doi:10.1023/a:1004991931741

Verified recordOpen access

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

Studia Logica1997doi:10.1023/a:1004991931741

Citation graph

Abstract

No public abstract is available from the verified source records.

Open public full text

Rights: UNKNOWN · https://www.springernature.com/gp/researchers/text-and-data-mining · Source: journal-auto-sync:external:CROSSREF_ISSN

Authors

Institutions

No ROR-resolved institution is linked to this work yet.

Provenance

crossref

Confidence 100%

unpaywall

Confidence 95%

datacite

Confidence 0%

Referenced works

View all references →

No local reference links have been materialized yet.

Cited by

View all cited-by records →

Embedding Logics into Product Logic

1998 · 0 citations

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

1998 · 0 citations

External reference records

10.1090/s0002-9947-1958-0094302-9

10.1090/s0002-9947-1958-0094302-9 · 1958

Unresolved referenced work

1959

Unresolved referenced work

1993

Unresolved referenced work

1973

10.1016/0022-1236(86)90015-7

10.1016/0022-1236(86)90015-7 · 1986

10.3233/fi-1993-182-405

10.3233/fi-1993-182-405 · 1993

10.2307/2275851

10.2307/2275851 · 1995

10.1090/s0002-9947-1958-0094299-1

10.1090/s0002-9947-1958-0094299-1 · 1958

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

1976

Additional external references

No additional external references are available.