Lindström theorems in graded model theory

DOI10.1016/J.APAL.2020.102916MaRDI QIDQ2220488zbMATH OpenOpenAlexFDO

Authors Guillermo Badia, Carles Noguera

Publication date 25 January 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2020.102916

zbMATH Keywords

abstract model theoryLindström theoremmany-valued predicate logicsmathematical fuzzy logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95)

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

• 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
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 3532912 (Why is no real title available?)
• 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

(4)

• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• scientific article; zbMATH DE number 956483 (Why is no real title available?)
• Asymptotic truth-value laws in many-valued logics
• Lindström's characterizability of abstract logic systems for analytic structures based on measures

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)