scientific article; zbMATH DE number 3323814
From MaRDI portal
Publication:5603863
Recommendations
- scientific article; zbMATH DE number 4208060
- Normalisation for some quite interesting many-valued logics
- scientific article; zbMATH DE number 6287570
- On normal forms in Łukasiewicz logic
- On depth and complexity of formulas in some classes of \(k\)-valued logic
- scientific article; zbMATH DE number 3857067
- scientific article; zbMATH DE number 3950489
- Depth of formulas in some classes of k-valued logics
- scientific article; zbMATH DE number 3966022
- scientific article; zbMATH DE number 3952721
Cited in
(14)- The depth of formulas in some classes of a k-valued logic
- On normal forms in Łukasiewicz logic
- On adequate sets of multi-valued logic
- Binary functions of multivalued arguments: generalization and investigation of disjunctive normal forms for such functions
- Quine-McCluskey method for many-valued logical functions
- scientific article; zbMATH DE number 3882420 (Why is no real title available?)
- scientific article; zbMATH DE number 3857067 (Why is no real title available?)
- scientific article; zbMATH DE number 5371703 (Why is no real title available?)
- scientific article; zbMATH DE number 3952721 (Why is no real title available?)
- scientific article; zbMATH DE number 408804 (Why is no real title available?)
- Simplification of many-valued logic formulas using anti-links
- scientific article; zbMATH DE number 1122859 (Why is no real title available?)
- scientific article; zbMATH DE number 2160578 (Why is no real title available?)
- Intuitionistic validity in \(T\)-normal Kripke structures
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5603863)
