The following pages link to (Q3110608):
Displaying 5 items.
- Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system (Q2924340) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- (Q4488342) (← links)
- (Q5079753) (← links)
- An algorithm for the solution of a system of logical equations (Q5720468) (← links)