Second-order logic of paradox
type: Item
instance of: scholarly article
title: Second-order logic of paradox
zbMATH Open document ID: 1455.03032
DOI: 10.1215/00294527-2018-0011
author: A. P. Hazen
author: Francis Jeffry Pelletier
published in: Notre Dame Journal of Formal Logic
publication date: 2018-12-21T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1536653099
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B16
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 6996543
zbMATH Keywords: logic of paradox
zbMATH Keywords: second-order logic
zbMATH Keywords: Graham Priest
zbMATH Keywords: identity
MaRDI profile type: Publication
OpenAlex ID: W2890251009
cites work: A calculus of antinomics
cites work: Logic of antinomies
cites work: Natural 3-valued logics—characterization and proof theory
cites work: A note on freedom from detachment in the logic of paradox
cites work: Q3235339
cites work: Q5815602
cites work: Completeness in the theory of types
cites work: Q5812175
cites work: The logic of paradox
cites work: Inconsistent models of arithmetic. I: Finite models
cites work: Handbook of philosophical logic. Vol. 6
cites work: Q3992933
cites work: Axiom schemes for m-valued functional calculi of first order. Part II
cites work: AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
Recommended article: Q4428872
Recommended article: Q2996331
Recommended article: Logic of paradox revisited
Recommended article: Q4523459
Recommended article: Q3216633
Recommended article: Logicism and Second-Order Logic
Recommended article: Paraconsistent logic
Recommended article: Logical consequence and the paradoxes
Recommended article: Paraconsistency in classical logic
description: scientific article; zbMATH DE number 6996543