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

DOI10.1007/s11225-012-9379-xzbMath1258.03029OpenAlexW2016307644MaRDI 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 eliminationdecidabilityMV-algebrapropositional quantifiersamalgamation\(\Delta\)-core fuzzy logicpropositional fuzzy logicuniform Craig interpolation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) MV-algebras (06D35) Ordered groups (06F15) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Conservative expansions of substructural logics ⋮ Craig interpolation in the presence of unreliable connectives

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