From IF to BI
A tale of dependence and separation
Bibliographic Data
| ID | 10808564 |
|---|---|
| Authors | Samson Abramsky (0000-0003-3921-6637, University of Oxford, corresponding author), Jouko Väänänen (0000-0003-4356-7974) |
| Year | 2009 |
| Volume | 167 |
| Issue | 2 |
| Pages | 207-230 |
| Publication date | 2009-03-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-008-9415-6 |
| OpenAlex | W2153017713 |
| Language | EN |
| Citations received | 4 |
| References cited | 24 |
Algebra over a field · Axiom · Discrete mathematics · Interpretation (philosophy) · Intuitionistic logic · Multiplicative function · Predicate (mathematical logic) · Programming language · Propositional calculus · Pure mathematics · Semantics (computer science) · Advanced Algebra and Logic · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics
| Unique citing works | 4 |
|---|---|
| Citations per year | 0,29 |
| Citation span | 2012 - 2025 (14) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 4 |