Lindström theorems in graded model theory

DOI10.1016/J.APAL.2020.102916OpenAlexW3097845976MaRDI QIDQ2220488FDOQ2220488

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

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

zbMATH Keywords

mathematical fuzzy logicabstract model theorymany-valued predicate logicsLindström theorem

Mathematics Subject Classification ID

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

Cites Work

• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Handbook of mathematical fuzzy logic. Volume 1
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On Extensions of Elementary Logic
• Title not available (Why is that?)
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Title not available (Why is that?)
• Axioms for abstract model theory
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• The Härtig quantifier: a survey
• Fraïssé classes of graded relational structures
• Back-and-forth systems for fuzzy first-order models
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Applications of ultraproducts: from compactness to fuzzy elementary classes
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Truth-Preservation under Fuzzy pp-Formulas

Cited In (2)

• Title not available (Why is that?)
• A Lindström theorem in many-valued modal logic over a finite MTL-chain

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)