Computer Science Logic

DOI10.1007/b100120zbMath1095.03013OpenAlexW2481899496MaRDI QIDQ5311248

Nicola Olivetti, George Metcalfe, Dov M. Gabbay

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100120

zbMATH Keywords

Fuzzy LogicsGoal-Directed MethodsŁukasiewicz Logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)