Preskoči na sadržaj
Moj profil Upisi

izvorni znanstveni rad · 2018

Abstract logical constants

Tin Perkov

Sažetak

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

Ključne riječi

logical constants abstract logic logical consequence