A Proof Calculus for Automated Deduction in Propositional Product Logic

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...

Full description

Bibliographic Details
Main Author: Dušan Guller
Format: Article
Language:English
Published: MDPI AG 2024-12-01
Series:Mathematics
Subjects:
product logic
procedure of Davis, Putnam, Logemann, and Loveland
automated deduction
fuzzy inference
proof calculi
Online Access:https://www.mdpi.com/2227-7390/12/23/3805

Internet

https://www.mdpi.com/2227-7390/12/23/3805

Similar Items