Title
Document Type
Working Paper
Publication Date
2015
Abstract
A collection of notes, formulas, theorems, postulates and terminology in symbolic logic, syntactic notions, semantic notions, linkages between syntax and semantics, soundness and completeness, quantified logic, first-order theories, Goedel's First Incompleteness Theorem and more.
Disciplines
Artificial Intelligence and Robotics | Computer Sciences | Databases and Information Systems | Graphics and Human Computer Interfaces | Information Security | Other Computer Sciences | Programming Languages and Compilers | Systems Architecture | Theory and Algorithms
eCommons Citation
Perugini, Saverio, "Metalogic Notes" (2015). Computer Science Working Papers. 1.
https://ecommons.udayton.edu/cps_wk_papers/1
Included in
Artificial Intelligence and Robotics Commons, Databases and Information Systems Commons, Graphics and Human Computer Interfaces Commons, Information Security Commons, Other Computer Sciences Commons, Programming Languages and Compilers Commons, Systems Architecture Commons, Theory and Algorithms Commons
Comments
Copyright (c) 2015, Saverio Perugini. All rights reserved. Please provide feedback in the comments section of this page.