Two Principles in Many-Valued Logic

DOI10.1007/978-3-319-06233-4_8MaRDI QIDQ2948588zbMATH OpenOpenAlexFDO

Authors Stefano Aguzzoli, Vincenzo Marra

Publication date 6 October 2015

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

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

zbMATH Keywords

triangular norms basic logic deduction theorem product logic Gödel logic Łukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

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.

Recommendations

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)