From IF to BI
A tale of dependence and separation
Dados Bibliográficos
| ID | 10808564 |
|---|---|
| Autores | Samson Abramsky (0000-0003-3921-6637, University of Oxford, autor correspondente), Jouko Väänänen (0000-0003-4356-7974) |
| Ano | 2009 |
| Volume | 167 |
| Fascículo | 2 |
| Páginas | 207-230 |
| Data de publicação | 2009-03-01 |
| Peer Reviewed | Sim |
| Open Access | Sim |
| Tipo | ARTICLE |
| Periódico | Synthese (JOURNAL) |
| Identificadores do periódico | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Editora | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-008-9415-6 |
| OpenAlex | W2153017713 |
| Idioma | EN |
| Citações recebidas | 4 |
| Referências citadas | 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
| Obras citantes distintas | 4 |
|---|---|
| Citações por ano | 0,29 |
| Intervalo de citações | 2012 - 2025 (14) |
| Velocidade de citação | recent |
| Altamente citado | Não |
| Tipos de citação | Neutras: 4 |