Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement

EasyChair Preprint 8770, version 1

Abstract

In this paper we propose and study a semantics of many-place
sequent calcul with
Enlargement as well as implicit Permutation and Contraction based upon the
conception of many-fold fuzzy set being a natural extension of
that of two-fold one.
In the propositional case, we come to the conception
of fuzzy many-place matrix that is a fuzzification of the
conception of many-place matrix proposed by us in
earlier papers and provides semantics of propositional
calculi of the kind involved.

Keyphrases: Calculus, lattice, matrix

@booklet{EasyChair:8770,
  author    = {Alexej Pynko},
  title     = {Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement},
  howpublished = {EasyChair Preprint 8770},
  year      = {EasyChair, 2022}}