Level logics

From MaRDI portal

Publication:1807461

Jump to:navigation, search

zbMath0934.03032MaRDI QIDQ1807461

Publication date: 22 November 1999

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

zbMATH Keywords

algorithm fuzzy logic sequent calculus deducibility level logics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15) Many-valued logic (03B50)

Related Items (1)

Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form

This page was built for publication: Level logics

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