Independently Published
Axiomatization of finitely-valued logics
Product Code:
9798593038739
ISBN13:
9798593038739
Condition:
New
$100.00
$94.88
Sale 5%
Axiomatization of finitely-valued logics
$100.00
$94.88
Sale 5%
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 |
| Publisher: Independently Published |
| Publication Date: Jan 10, 2021 |
| Number of Pages: 54 pages |
| Binding: Paperback or Softback |
| ISBN-10: NA |
| ISBN-13: 9798593038739 |
Related Products
Sale 2%
Sale 5%
