User:Sotiris1337/Books/Formal Systems


 * Attributional calculus
 * Categorical logic
 * Dependence logic
 * Epsilon calculus
 * First-order logic
 * Frege's propositional calculus
 * Higher-order logic
 * Horn logic
 * Implicational propositional calculus
 * Independence-friendly logic
 * Infinitary logic
 * Intermediate logic
 * Intuitionistic logic
 * List of logic systems
 * Logics for computability
 * Many-sorted logic
 * Minimal logic
 * Ω-logic
 * Ordinal logic
 * Paraconsistent logic
 * Predicate calculus
 * Predicate logic
 * Propositional calculus
 * Propositional proof system
 * Second-order logic
 * Systems of Logic Based on Ordinals
 * Two-variable logic
 * Type theory
 * Zeroth-order logic