Open AccessA completeness proof in full DDL
Author(s) -
Krister Segerberg
Publication year - 2004
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2001.005
Subject(s) - completeness (order theory) , section (typography) , computer science , calculus (dental) , cover (algebra) , structural proof theory , mathematics , mathematical proof , proof theory , medicine , geometry , mechanical engineering , mathematical analysis , dentistry , engineering , operating system