Inferentialism and quantification

From MaRDI portal

Publication:509608

Jump to:navigation, search

DOI10.1215/00294527-3768059zbMath1417.03213OpenAlexW2552670228MaRDI QIDQ509608

Owen Griffiths

Publication date: 17 February 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-3768059

zbMATH Keywords

logical consequence proof theory quantifiers inferentialism logical constants

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Inferentialism and quantification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:509608&oldid=12394673"