A propositional calculus with denumerable matrix
Copyright policy ) Michael Dummett;
A propositional calculus with denumerable matrix
§1. In [1] Gödel proves the non-existence of a finite matrix characteristic for the intuitionist propositional calculus IC by the use of the finite matrices , where n is a natural number and
- University of Oxford United Kingdom
foundations of mathematics, philosophy, logic
foundations of mathematics, philosophy, logic
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).301 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 1% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 0.1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
citations
Citations provided by BIP!
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
Citations provided by BIP!popularityPopularity provided by BIP!
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
Popularity provided by BIP! 301
Top 1%
Top 0.1%
Average
Beta
Related to Research communities
This action will publish the selected files and record in Zenodo. Are you sure you want to proceed?