The axiomatization problem for fragments

DOI10.1016/0003-4843(78)90016-5zbMath0395.03039OpenAlexW1984396054MaRDI QIDQ4177566

Craig Smorynski

Publication date: 1978

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(78)90016-5

zbMATH Keywords

AxiomatizationSaturationKripke ModelsIntuitionistic MathematicsFragments

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (2)

Consequences of an exotic definition for \(\text{P}=\text{NP}\). ⋮ An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus

This page was built for publication: The axiomatization problem for fragments