Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Many-Valued Logics and Translations

Many-Valued Logics and Translations This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Many-Valued Logics and Translations

Download PDF
20 pages

Many-Valued Logics and Translations

Abstract

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
Loading next page...
 
/lp/taylor-francis/many-valued-logics-and-translations-GJLxfBfhWL
Publisher
Taylor & Francis
Copyright
Copyright Taylor & Francis Group, LLC
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.1999.10510960
Publisher site
See Article on Publisher Site

Abstract

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Jan 1, 1999

Keywords: translations; conservative translations; many-valued logics; algebraic semantics; Lukasiewicz logics and algebras; Post logics and algebras

There are no references for this article.