Two Principles in Many-Valued Logic

DOI10.1007/978-3-319-06233-4_8zbMATH Open1328.03021arXiv1310.2346OpenAlexW1804030118MaRDI QIDQ2948588FDOQ2948588

Authors: Stefano Aguzzoli, Vincenzo Marra

Publication date: 6 October 2015

Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)

Abstract: Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr H'ajek that is complete with respect to a subalgebra of truth values of a BL-algebra given by a continuous triangular norm on [0, 1]. Abstracting the two foregoing properties from classical logic leads us to two principles that a real-valued logic may or may not satisfy. We prove that the two principles are sufficient to characterise {L}ukasiewicz and G"odel logic, to within extensions. We also prove that, under the additional assumption that the set of truth values be closed in the Euclidean topology of [0,1], the two principles also afford a characterisation of Product logic.

Full work available at URL: https://arxiv.org/abs/1310.2346

Recommendations

zbMATH Keywords

triangular norms[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic][https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+logic&go=Go G��del logic]basic logic deduction theorem product logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (2)

This page was built for publication: Two Principles in Many-Valued Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948588)