Real-valued models with metric equality and uniformly continuous predicates

DOI10.2307/2273098zbMath0498.03022OpenAlexW2166541776MaRDI QIDQ3962977

No author found.

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273098

zbMATH Keywords

completenessdefinabilityinference ruleslogic of inexactnesslogic of approximationinterpretations of predicates in structuresreal-valued deduction schemesreal-valued equality

Mathematics Subject Classification ID

Model theory (03C99) Many-valued logic (03B50)

Related Items (2)

Continuity spaces: Reconciling domains and metric spaces ⋮ The logic of approximation in quantum theory

Cites Work

• The logic of inexact concepts
• Łukasiewicz logic and fuzzy set theory

This page was built for publication: Real-valued models with metric equality and uniformly continuous predicates