BOOK-CHAPTER
A proof theory for Constructive Default Logic
Year: 2005 Lecture notes in computer science Pages: 349-355 Publisher: Springer Science+Business Media
Keywords:
Default logic Constructive Constructive proof Intuitionistic logic Computer science Mathematics Calculus (dental) Algebra over a field Discrete mathematics Autoepistemic logic Theoretical computer science Linear logic Pure mathematics Multimodal logic Programming language Process (computing) Description logic
Metrics
1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
16
Refs
0.17
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. BussUlrich KohlenbachHelmut Schwichtenberg
Journal: Oberwolfach Reports Year: 2009 Vol: 5 (2)Pages: 907-952
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Mathematisches Forschungsinstitut Oberwolfach
Journal: Mathematisches Forschungsinstitut Oberwolfach Year: 2008
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. BussUlrich KohlenbachMichael Rathjen
Journal: Oberwolfach Reports Year: 2015 Vol: 11 (4)Pages: 2933-2986
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. BussRosalie IemhoffUlrich KohlenbachMichael Rathjen
Journal: Oberwolfach Reports Year: 2018 Vol: 14 (4)Pages: 3121-3183
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Journal: TIB Repositorium Year: 2011