Models of logical systems

DOI10.2307/2268136MaRDI QIDQ5792477zbMATH OpenOpenAlexFDO

Authors John G. Kemeney

Publication date 1948

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cites work

• \(\lambda\)-definability and recursiveness
• scientific article; zbMATH DE number 3096289 (Why is no real title available?)
• Recursively enumerable sets of positive integers and their decision problems
• Über Extremalaxiome

Cited in

(9)

• Translations and structure for partial propositional calculi
• An essay in the formal theory of extension and of intension
• Universal semantics?
• Carnapian and Tarskian semantics
• Non-standard models for formal logics
• Über ω-Unvollständigkeit in der Peano-Arithmetik
• A logical measure function
• What languages have Tarski truth definitions?
• On disjunctions and existential statements in intuitionistic systems of logic

This page was built for publication: Models of logical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5792477)