scientific article; zbMATH DE number 6276268

zbMath1284.03187MaRDI QIDQ5406034

George Metcalfe

Publication date: 1 April 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Densification of FL chains via residuated frames ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Density revisited ⋮ The original sin of proof-theoretic semantics ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ Fuzzy sets and formal logics ⋮ Craig interpolation for semilinear substructural logics

This page was built for publication: