A felicitous fragment of the predicate calculus
From MaRDI portal
Publication:5921237
DOI10.1305/ndjfl/1093891098zbMath0214.00801OpenAlexW2040006973MaRDI QIDQ5921237
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891098
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)
Related Items
Ideodynamic predictions for the evolution of habits, A strategy for testing the empirical adequacy of macro‐sociological theories, Ideodynamics: The kinetics of the evolution of ideas