"logical consequence" - related articles and key terms

Related terms: logical truth   computability   symbolic logic   logika   undecidable theories   tarski   valid argument   deontic logic   frege's   natural deduction   logicians   philosophical logic   temporal logic   alfred tarski   deontic   classical logic   zermelo   formal logic   quantifiers   propositional calculus   entails   logician   onto itself   sufficiently strong

Wikipedia sources: First-order logic   Entailment   Alfred Tarski   Decidability (logic)   Modal logic   Argument   Many-valued logic   Graham Priest   Philosophy of logic   John Etchemendy   History of logic   Mathematical logic

Context for words: logical   consequence