A Formal Analysis of Generalized Peterson’s Syllogisms Related to Graded Peterson’s Cube
Karel Fiala, Petra Murinová · Mathematics · 2022
This publication builds on previous publications in which we constructed syntactic proofs of fuzzy Peterson’s syllogisms related to the graded square of opposition. The aim of the publication is to be formally able to find syntactic proofs of fuzzy Peterson’s logical syllogisms with forms of fuzzy intermediate quantifiers that design the graded Peterson’s cube of opposition.