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 14 14 4
Full Text Views 1 1 1
PDF Downloads 0 0 0
EPUB Downloads 0 0 0

Related Content