Semantics of sequent calculi: Fuzziness versus non-multiplicativity - Brossura

Pynko, Dr. Alexej P.

 
9798643773993: Semantics of sequent calculi: Fuzziness versus non-multiplicativity
Brossura
ISBN 13: 9798643773993
Casa editrice: Independently published, 2020

Sinossi

The aim of this study is to provide a generic fuzzy semanticsof propositional sequent calculi - both two-side and signed ones -with basic structural rules: Enlargement, Permutation and Contraction.As a representative application, we explore substructural (more precisely, Cut and/or Sharing free) versionsof Gentzen's original calculus LK with basic structural rulessupplemented by the rules inverse to the logical ones andprove that they are equivalent to certain subclassicalextensions of the bounded version of Belnap's four-valued logic such as Priest's logic of paradox and Kleene's three-valued logic,the notorious Cut Elimination property of LK appearing justa consequence of the well-known regularity of the operations of Kleene'sthree-valued logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Independently published
Data di pubblicazione
2020
Lingua
Inglese
ISBN 13 
9798643773993
Rilegatura
Copertina flessibile
Numero di pagine
26
Contatto del produttore
Manufactured by Amazon on behalf of the author
https://www.amazon.it/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Lussemburgo