Polynomizing Lukasiewicz's Many-Valued Logics by Maple - Maple Application Center
  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
0
Engineering software solutions from Maplesoft
 Download
 Preview
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
This app is not in any Collections

Add to a Collection

Tags

logic logic

More Like This

Interactive Sudoku

Curtis Bright

0
Fuzzy Sets in Examples

Prof. Gennady P. Chuiko

1
Pascal's triangle and its relationship to the Fibonacci sequence

Maplesoft Author Maplesoft

0
Solving the World's Hardest Sudoku

Curtis Bright

1
Solving constraint satisfaction problems II: More difficult logic problems

Carl DeVore

1
Finding Minimal Sum for Boolean Expression

Jay Pedersen

0
The n-Queens Problem

Curtis Bright

2
Solving constraint satisfaction problems I: Logic problems

Carl DeVore

3
Prime Implicants of Boolean Expression by Concensus method

Jay Pedersen

0
Solving the Einstein Riddle

Curtis Bright

1
Introduction to Fuzzy Controllers

Douglas Harder

3
Finite Field Representations by Using Maple

Kahtan H. Alzubaidy

0