Level logics

MaRDI QIDQ1807461zbMATH OpenFDO

Authors Yanyan Li

Publication date 22 November 1999

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

zbMATH Keywords

algorithmfuzzy logicsequent calculusdeducibilitylevel logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6742170
• Automated correspondence analysis for the binary extensions of the logic of paradox
• A Para Consistent Fuzzy Logic
• scientific article; zbMATH DE number 1293548
• Mathematical Fuzzy Logics

Cited in

(3)

• Multilevel Logical Networks
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• Levels of modality for BDI logic

This page was built for publication: Level logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1807461)