Arrow Research search
Back to FLAP

FLAP 2021

Some Remarks on Assertion and Proof.

Journal Article Number 2 Logic in Computer Science

Abstract

In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
IfCoLog Journal of Logics and their Applications
Archive span
2014-2026
Indexed papers
633
Paper id
144490112465290342