Neutral Free Logic: Motivation, Proof Theory and Models.

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka The Journal of Philosophy, 56, 125–137 1959; Lambert Notre Dame Journal of Formal Logic, 8, 133–144 1967, 1997, 2001). What those assumptions are varies, bu...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Philosophical Logic Vol. 52; no. 2; pp. 519 - 555
Autores principales:	Pavlović, Edi, Gratzl, Norbert
Formato:	Artículo
Publicado:	Springer Nature Apr2023
Materias:	Proof theory Model theory First-order logic Presupposition (Logic) Logic Motivation (Psychology)
Acceso en línea:	Ver este registro en EBSCOhost