A Natural Deduction Sistem preserving falsity

Abstract

This paper presents a natural deduction system preserving falsity. This new system will provide us with means of reviewing a criticism made several years ago by Prior, directed against the semantical definition of logical constants by introduction and elimination rules.