Omitting uncountable types and the strength of \([0,1]\)-valued logics
From MaRDI portal
Publication:2442152
DOI10.1016/j.apal.2014.01.005zbMath1315.03063arXiv1202.5981OpenAlexW1984856495MaRDI QIDQ2442152
Publication date: 1 April 2014
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.5981
omitting types theoremcontinuous model theorycontinuous logicŁukasziewicz logicŁukasziewicz-Pavelka logic
Fuzzy logic; logic of vagueness (03B52) Baire category, Baire spaces (54E52) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95)
Related Items
Omitting types in logic of metric structures ⋮ Metric Scott analysis ⋮ Two applications of topology to model theory ⋮ Maximality of linear continuous logic ⋮ Lindström theorems in graded model theory
Cites Work
- Fuzzy logic and arithmetical hierarchy. II
- Compactness and normality in abstract logics
- Metamathematics of fuzzy logic
- Categoricity without equality
- Continuous first order logic and local stability
- On d-finiteness in continuous structures
- On Fuzzy Logic I Many‐valued rules of inference
- Omitting uncountable types and extensions of Elementary logic
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- On the maximality of logics with approximations
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Lindström’s Theorem for Positive Logics, a Topological View
- Omitting types in fuzzy logic with evaluated syntax
- Continuous Model Theory. (AM-58)
- On Extensions of Elementary Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Omitting uncountable types and the strength of \([0,1]\)-valued logics