New posts in formal-systems

How do you go about formalizing a concept?

Is the decidability of all possible axiomatizations equivalent to decidability?

Representing first order sentences as conceptual graphs

What does "calculus" mean?

What is the purpose of the Axiom of regularity/foundation?

Some different versions of completeness of a formal system, of a logic and of a theory

Understanding the syntactical completeness

What makes a context free grammar ambiguous?

The Power of Lambda Calculi

Foundation of Formal Logic

Formal System and Formal Logical System

Calculus of Natural Deduction That Works for Empty Structures

Why is establishing absolute consistency of ZFC impossible?

What is the definition of a definition?

Are axioms assumed to be true in a formal system?

natural deduction: introduction of universal quantifier and elimination of existential quantifier explained

Is formal truth in mathematical logic a generalization of everyday, intuitive truth?