On axiomatizing fragments

DOI10.2307/2271875zbMath0381.03046OpenAlexW2029517118MaRDI QIDQ4159057

Craig Smorynski

Publication date: 1978

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

Full work available at URL: https://doi.org/10.2307/2271875

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (2)

The Skolemization of existential quantifiers in intuitionistic logic ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol

Cites Work

• Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971

This page was built for publication: On axiomatizing fragments