Axiomatization of finitely-valued logics (Paperback) (ISBN-13: 9798593038739)

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]

Author: Alexej P. Pynko
ISBN-13: 9798593038739
Publisher: Independently Published
Language: English
Published: 01/10/2021
Pages: 54
Format: Paperback
Weight: 0.19lbs
Size: 9.02h x 5.98w x 0.11d