Axiomatization of finitely-valued logics - Couverture souple

Pynko, Dr. Alexej P.

Couverture souple

ISBN 13 : 9798593038739

Editeur : Independently published, 2021

Synopsis

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].

Détails de l'édition

• Éditeur: Independently published
• Date d'édition: 2021
• Langue: anglais
• ISBN 13: 9798593038739
• Reliure: Broché
• Nombre de pages: 52
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible