Representing model theory in a type-theoretical logical framework
From MaRDI portal
Publication:654913
DOI10.1016/j.tcs.2011.03.022zbMath1236.03027MaRDI QIDQ654913
Publication date: 23 December 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.03.022
first-order logic; logical framework; proof-theoretic semantics; model-theoretic semantics; Twelf module system
03B70: Logic in computer science
03B10: Classical first-order logic
03C98: Applications of model theory
Uses Software