http://oldmfl.ricerca.di.unimi.it/index.php?title=Consequence_and_degrees_of_truth_in_many-valued_logic&feed=atom&action=historyConsequence and degrees of truth in many-valued logic - Revision history2021-01-18T14:19:38ZRevision history for this page on the wikiMediaWiki 1.27.1http://oldmfl.ricerca.di.unimi.it/index.php?title=Consequence_and_degrees_of_truth_in_many-valued_logic&diff=3135&oldid=prevJmfont: Created page with "{{Book chapter| author=Josep Maria Font| chapter=Consequence and degrees of truth in many-valued logic| title=Petr Hájek on Mathematical Fuzzy Logic| series= Outstanding Cont..."2016-04-27T08:28:30Z<p>Created page with "{{Book chapter| author=Josep Maria Font| chapter=Consequence and degrees of truth in many-valued logic| title=Petr Hájek on Mathematical Fuzzy Logic| series= Outstanding Cont..."</p>
<p><b>New page</b></p><div>{{Book chapter|<br />
author=Josep Maria Font|<br />
chapter=Consequence and degrees of truth in many-valued logic|<br />
title=Petr Hájek on Mathematical Fuzzy Logic|<br />
series= Outstanding Contributions to Logic|<br />
volume=6|<br />
pages=117–142|<br />
publisher=Springer-Verlag|<br />
editor=Franco Montagna|<br />
city=Heidelberg-Berlin-New York|<br />
year=2015}}<br />
<br />
== Abstract ==<br />
I argue that the definition of a logic by preservation of all degrees of truth is a better rendering of Bolzano’s idea of consequence as truth-preserving when “truth comes in degrees”, as is often said in many-valued contexts, than the usual scheme that preserves only one truth value. I review some results recently obtained in the investigation of this proposal by applying techniques of abstract algebraic logic in the framework of Łukasiewicz logics and in the broader framework of sub- structural logics, that is, logics defined by varieties of (commutative and integral) residuated lattices. I also review some scattered, early results, which have appeared since the 1970’s, and make some proposals for further research.</div>Jmfont