Polynomizing Lukasiewicz's Many-Valued Logics by Maple - Maple Application Center

Polynomizing Lukasiewicz's Many-Valued Logics by Maple - Maple Application Center

Contact Maplesoft Request Quote

Submit your work

Application Center Applications Polynomizing Lukasiewicz's Many-Valued Logics by Maple

Polynomizing Lukasiewicz's Many-Valued Logics by Maple

Author

: Kahtan H. Alzubaidy

Engineering software solutions from Maplesoft

This Application runs in Maple. Don't have Maple? No problem!

Try Maple free for 15 days!

Maple Procedures are presented to express propositions and connectives of propositional Lukasiewicz's n-valued logic for n=4 in terms of certain polynomials. Evaluations and checking of tautologies are done by procedures based on Groebner’s bases.

Application Details

Publish Date: September 10, 2018
Created In: Maple 15
Language: English

Share

Copy URL

This app is not in any Collections

More Like This

Interactive Sudoku

Solving the World's Hardest Sudoku

Fuzzy Sets in Examples

Prof. Gennady P. Chuiko

Solving the Einstein Riddle

Finite Field Representations by Using Maple

Kahtan H. Alzubaidy

Clique Finding with SAT

Pascal's triangle and its relationship to the Fibonacci sequence

Maplesoft Author Maplesoft

Solving constraint satisfaction problems II: More difficult logic problems

The n-Queens Problem

Finding Graeco-Latin Squares

Finding Minimal Sum for Boolean Expression

Graph Colouring with SAT