Axiomatization of finitely-valued logics - Brossura

Pynko, Dr. Alexej P.

 
9798593038739: Axiomatization of finitely-valued logics
Brossura
ISBN 13: 9798593038739
Casa editrice: Independently published, 2021

Sinossi

Here,we develop a unversal method of [effective] constructinga [finite] Hilbert-style axiomatization of the logic of a givenfinite disjunctive/implicative matrix with equality determinant[and finitely many connectives](in particular, any/ implicative four-valued expansion of Belnap'sfour-valued logic /[as well as any \L{}ukasiewicz finitely-valued logic]).As a by-product, we also prove that the poset of all disjunctive/axiomaticextensions of the logic is dual to the finite distributive latticeof all relatively-hereditary subsets of the set of allconsistent submatrices of the matrix [to be found effectivelytogether with their finite relative axiomatizations andboth sound and complete matrix semantics].

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

Editore
Independently published
Data di pubblicazione
2021
Lingua
Inglese
ISBN 13 
9798593038739
Rilegatura
Copertina flessibile
Numero di pagine
52
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