General models, descriptions, and choice in type theory
From MaRDI portal
Publication:5680122
DOI10.2307/2272981zbMath0264.02049OpenAlexW1974725248MaRDI QIDQ5680122
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272981
Related Items
Cut-elimination for quantified conditional logic, A Bit of History Related to Logic Based on Equality, Reflections on a Theorem of Henkin, Extensional higher-order paramodulation in Leo-III, Quantified multimodal logics in simple type theory, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, General models and extensionality, Combining and automating classical and non-classical logics in classical higher-order logics, Combined reasoning by automated cooperation, Proof certificates for equality reasoning, Elements of model theory in higher-order fuzzy logic, Quantum number theory, Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Cites Work
