Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system (Q2924340)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system |
scientific article; zbMATH DE number 6364807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system |
scientific article; zbMATH DE number 6364807 |
Statements
3 November 2014
0 references
Łukasiewicz propositional calculus system
0 references
disjunctive normal form
0 references
logical inequality groups
0 references
0.83267266
0 references
0.8278214
0 references
0.8265105
0 references
0.82581997
0 references
0.8253236
0 references
0.82138747
0 references
0.8197512
0 references
Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system (English)
0 references
