A Proof Calculus for Automated Deduction in Propositional Product Logic
Propositional product logic belongs to the basic fuzzy logics with continuous <i>t</i>-norms using the product <i>t</i>-norm (defined as the ordinary product of real numbers) on the unit interval <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML&qu...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-12-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/12/23/3805 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|