Skip to main content Accessibility help
×
  1. Home
  2. Browse subjects
  3. Mathematics
  4. MSC Classifications
  5. MSC 2010: Mathematical Logic and Foundations
  6. 03BXX

Refine listing

Refine listing

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

262 results in 03BXX

Page 14 of 14

  • Loomis-sikorski theorem for σ-complete MV-algebras and ℓ-groups

  • Part of
  • Anatolij Dvurečenskij
  • Journal:
    Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 68 / Issue 2 / April 2000
    Published online by Cambridge University Press:
    09 April 2009, pp. 261-277
    Print publication:
    April 2000
    • Article
      • You have access
    • PDF
    • Export citation

  • We show that every σ-complete MV-algebra is an MV-σ-homomorphic image of some σ-complete MV- algebra of fuzzy sets, called a tribe, which is a system of fuzzy sets of a crisp set Ω containing 1Ω and closed under fuzzy complementation and formation of min {∑nfn, 1}. Since a tribe is a direct generalization of a σ-algebra of crisp subsets, the representation theorem is an analogue of the Loomis-Sikorski theorem for MV-algebras. In addition, this result will be extended also for Dedekind σ-complete ℓ-groups with strong unit.

  • A lambda calculus with naive substitution

  • Part of
  • John Staples
  • Journal:
    Journal of the Australian Mathematical Society. Series A. Pure Mathematics / Volume 28 / Issue 3 / November 1979
    Published online by Cambridge University Press:
    09 April 2009, pp. 269-282
    Print publication:
    November 1979
    • Article
      • You have access
    • PDF
    • Export citation

  • An alternative approach is proposed to the basic definitions of the lassical lambda calculus. A proof is sketched of the equivalence of the approach with the classical case. The new formulation simplifies some aspects of the syntactic theory of the lambda calculus. In particular it provides a justification for omitting in syntactic theory discussion of changes of bound variable.

Page 14 of 14