发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| GERMANY (FED REP GER) | 27 |
| USA | 23 |
| Italy | 22 |
| CHINA MAINLAND | 15 |
| Netherlands | 15 |
| Poland | 14 |
| England | 10 |
| Argentina | 9 |
| France | 9 |
| Australia | 8 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| UNIVERSITY OF AMSTERDAM | 9 |
| SUN YAT SEN UNIVERSITY | 8 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 7 |
| CZECH ACADEMY OF SCIENCES | 7 |
| EBERHARD KARLS UNIVERSITY OF TUBINGEN | 7 |
| CONSEJO NACIONAL DE INVESTIGACIONES CIE... | 6 |
| UNIVERSITY OF MUNICH | 6 |
| CITY UNIVERSITY OF NEW YORK (CUNY) SYST... | 5 |
| NICOLAUS COPERNICUS UNIVERSITY | 5 |
| UNIVERSITY OF BAYREUTH | 5 |
文章引用情况
1
Completeness in Equational Hybrid Propositional Type Theory2
Disjunction and Existence Properties in Inquisitive First-Order Logic3
Categorical Equivalence Between PMVf-Product Algebras and Semi-Low f(u)-Rings4
Translations Between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs5
On Tarski's Axiomatization of Mereology6
Hintikka's Independence-Friendly Logic Meets Nelson's Realizability7
Truth, Partial Logic and Infinitary Proof Systems8
Eliciting Uncertainties: A Two Structure Approach9
Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures10
Sequent Calculi for SCI