Lindström theorems in graded model theory
From MaRDI portal
Publication:2220488
Recommendations
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- Lindstrom theorems for fragments of first-order logic
- scientific article; zbMATH DE number 3935021
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- Barwise: Abstract Model Theory and Generalized Quantifiers
Cites work
- scientific article; zbMATH DE number 3941494 (Why is no real title available?)
- scientific article; zbMATH DE number 3532912 (Why is no real title available?)
- Applications of ultraproducts: from compactness to fuzzy elementary classes
- Axioms for abstract model theory
- Back-and-forth systems for fuzzy first-order models
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Fraïssé classes of graded relational structures
- Handbook of mathematical fuzzy logic. Volume 1
- Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Omitting uncountable types and the strength of \([0,1]\)-valued logics
- On Extensions of Elementary Logic
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- The Härtig quantifier: a survey
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Truth-Preservation under Fuzzy pp-Formulas
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
Cited in
(2)
This page was built for publication: Lindström theorems in graded model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220488)