TRANSLATING FROM ŁUKASIEWICZ’S LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE?

in Essays in Logic and Ontology
Restricted Access
Get Access to Full Text

Subject Highlights

 

Abstract

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz’s logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz’s logic into classical logic. However, this is not a constructive result.

Table of Contents

Information

Metrics

Metrics

All Time Past Year Past 30 Days
Abstract Views 15 15 1
Full Text Views 15 15 7
PDF Downloads 3 3 0
EPUB Downloads 0 0 0

Related Content