scientific article; zbMATH DE number 6276268

MaRDI QIDQ5406034zbMATH OpenFDO

Authors George Metcalfe

Publication date 1 April 2014

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cited in

(12)

• Density revisited
• Fuzzy sets and formal logics
• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Proof of theorems in fuzzy logic based on structural resolution
• Fuzzy Horn logic. I. Proof theory.
• The original sin of proof-theoretic semantics
• Densification of FL chains via residuated frames
• Craig interpolation for semilinear substructural logics
• scientific article; zbMATH DE number 1222563 (Why is no real title available?)
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• Deciding dependence in logic and algebra
• A fuzzy proof theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406034)