Level logics

zbMATH Open0934.03032MaRDI QIDQ1807461FDOQ1807461

Authors: Yanyan Li 

Publication date: 22 November 1999

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

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

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)

Cited In (3)

• Levels of modality for BDI logic
• Multilevel Logical Networks
• 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

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