Dependently Sorted Logic
From MaRDI portal
Publication:3499748
DOI10.1007/978-3-540-68103-8_3zbMath1139.03020OpenAlexW1540279298MaRDI QIDQ3499748
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68103-8_3
Logic in computer science (03B70) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Translating a Dependently-Typed Logic to First-Order Logic ⋮ Categories with families and first-order logic with dependent sorts
Cites Work
- Generalized algebraic theories and contextual categories
- Categorical logic and type theory
- CASL reference manual. The complete documentation of the common algebraic specification language.
- First-Order Logic with Dependent Types
- The generalised type-theoretic interpretation of constructive set theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item