\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation

DOI10.1007/s11225-012-9379-xzbMath1258.03029MaRDI QIDQ454376

Franco Montagna

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9379-x

zbMATH Keywords

quantifier elimination; decidability; MV-algebra; propositional quantifiers; amalgamation; \(\Delta\)-core fuzzy logic; propositional fuzzy logic; uniform Craig interpolation

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B25: Decidability of theories and sets of sentences

06D35: MV-algebras

06F15: Ordered groups

03C40: Interpolation, preservation, definability

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Obituary: Franco Montagna (1948--2015), Craig interpolation in the presence of unreliable connectives, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Varieties of BL-algebras. I: General properties.
• Interpolation in fuzzy logic
• On the structure of hoops
• Basic hoops: an algebraic study of continuous t-norms
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Weakly implicative (fuzzy) logics. I: Basic properties
• A propositional calculus with denumerable matrix
• Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
• Algebraizable logics