Quantifier-free versions of first order logic and their psychological significance

DOI10.1007/BF00248635zbMath0764.03005OpenAlexW2009685528MaRDI QIDQ1187977

Jan Mycielski

Publication date: 3 August 1992

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00248635

zbMATH Keywords

set theorySkolemizationfinitistic view of mathematicsquantifier-free formalismrules of proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (2)

Equational treatment of first-order logic ⋮ Finite mathematics.

This page was built for publication: Quantifier-free versions of first order logic and their psychological significance