Tableaux for Łukasiewicz infinite-valued logic

From MaRDI portal

Publication:1868241

Jump to:navigation, search

DOI10.1023/A:1022989323091zbMath1015.03032MaRDI QIDQ1868241

Nicola Olivetti

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

linear programming many-valued logic Kripke semantics labelled deduction labelled proof systems labelled tableau method

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (7)

Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Kripke semantics for intuitionistic Łukasiewicz logic ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ Unranked fuzzy logic and reasoning

This page was built for publication: Tableaux for Łukasiewicz infinite-valued logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1868241&oldid=14257624"