Miscellanea Logica VII. From Truth to Proof

Abstract

The anthology of original contributions devoted to the basic distinction of modern logic and semantics: proof and truth.

Keywords

• anthology
• contributions
• devoted
• distinction
• semantics