Delivery included to the United States

Self-Extensionality of Finitely-Valued Logics

Self-Extensionality of Finitely-Valued Logics

Paperback (23 Jan 2021)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

We start from proving a general characterizationof the self-extensionality of sentential logicsimplying the decidability of this problemas for (possibly, multiple) finitely-valued logics.And what is more, in case of finitely-valued logicswith equality determinant as well as either implicationor both conjunction and disjunction, we then derive a characterization yielding a quite effective algebraic criterion ofchecking their self-extensionalityvia analyzing homomorphisms between(viz., in the unitary case, endomorphisms of)their underlying algebrasand equally being a quite useful heuristic tool, manual applications of which are demonstratedwithin the framework of Lukasiewicz'finitely-valued logics, four-valued expansionsof Belnap's ``useful'' four-valued logic, their non-unitary three-valued extensions, unitary inferentially consistent non-classical onesbeing well-known to be non-self-extensional, as well as unitary three-valueddisjunctive (in particular, implicative) logicswith subclassical negation (includingboth paraconsistent and paracomplete o

Book information

ISBN: 9798599190110
Publisher: Independently Published
Imprint: Independently Published
Pub date:
Language: English
Number of pages: 102
Weight: 145g
Height: 229mm
Width: 152mm
Spine width: 5mm