Density Elimination and Rational Completeness for First-Order Logics

DOI10.1007/978-3-540-72734-7_10zbMath1133.03028OpenAlexW1488621088MaRDI QIDQ5434503

Agata Ciabattoni, George Metcalfe

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_10

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Densification of FL chains via residuated frames ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Density elimination ⋮ Uniform proofs of standard completeness for extensions of first-order MTL

This page was built for publication: Density Elimination and Rational Completeness for First-Order Logics