Pular para o conteúdo principal

ETHNOS_APP

Início • Busca • Periódicos • Lista 0

From IF to BI

A tale of dependence and separation

Dados Bibliográficos

ID10808564
AutoresSamson Abramsky (0000-0003-3921-6637, University of Oxford, autor correspondente), Jouko Väänänen (0000-0003-4356-7974)
Ano2009
Volume167
Fascículo2
Páginas207-230
Data de publicação2009-03-01
Peer ReviewedSim
Open AccessSim
TipoARTICLE
PeriódicoSynthese (JOURNAL)
Identificadores do periódicoISSN: 0039-7857 • E-ISSN: 1573-0964
EditoraSpringer Science and Business Media LLC (PUBLISHER)
DOI10.1007/s11229-008-9415-6
OpenAlexW2153017713
IdiomaEN
Citações recebidas4
Referências citadas24

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

  • How to be (non-)specific

    Open Access•Marco Degano, Maria Aloni•Linguistics and Philosophy•2025

  • Questions as information types

    Open Access•Ivano Ciardelli•Synthese•2018

  • Dependence Logic

    Open Access•Juha Kontinen•Philosophy Compass•2013

  • Independendly-Friendly Logic

    Open Access•Gabriel Sandu•Philosophy Compass•2012

  • Der Wahrheitsbegriff in den formalisierten Sprachen

    A Tarski•Logik-Texte•1986

  • On Extensions of Elementary Logic

    Open Access•PER LINDSTRÖM•Theoria•1969

  • Logic, Methodology and Philosophy of Science

    Max Black, Ernest Nagel et al.•The Philosophical Review•1963

Obras citantes distintas4
Citações por ano0,29
Intervalo de citações2012 - 2025 (14)
Velocidade de citaçãorecent
Altamente citadoNão
Tipos de citaçãoNeutras: 4
Ethnos_APP • Projeto Open Source • Licença MIT • Frontend v2.0.0 • Privacidade e Cookies • Documentação da API: api.ethnos.app/docs • Código da API: GitHub • DOI: 10.5281/zenodo.17049435 • Código do Frontend: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae