Models for Various Type-Free Calculi
-
Published:1973
Issue:
Volume:
Page:157-187
-
ISSN:0049-237X
-
Container-title:Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
-
language:
-
Short-container-title:
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Continuous valuations: Tailoring measure theory for topology and order;AIP Conference Proceedings;2024
2. A Useful Four-Valued Logic;New Essays on Belnap-Dunn Logic;2019
3. How a Computer Should Think;New Essays on Belnap-Dunn Logic;2019
4. Possible Scientific-Technical Solutions to the Problem of Giving Early Warning;Big Data Technologies for Monitoring of Computer Security: A Case Study of the Russian Federation;2018
5. Types;Handbook of Logic and Language;2011