Failure of interpolation for quantifiers of monadic type

Date

1985

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Nature

Abstract

Description

Citaciones: 7

Keywords

Mathematics, Lemma (botany), Type (biology), Extension (predicate logic), Interpolation (computer graphics), Discrete mathematics, Order (exchange), Algebra over a field

Citation

DOI

10.1007/bfb0075304

URI

https://doi.org/10.1007/bfb0075304
 https://andeanlibrary.org/handle/123456789/80514

Collections

Capítulos de Libro