Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
631	PDF Document Add to Reading List Source URL: www.logic.rwth-aachen.de Language: English - Date: 2007-04-25 06:02:11 Metalogic Model theory Logical syntax Formal languages FO Well-formed formula First-order logic Satisfiability True quantified Boolean formula Logic Mathematics Mathematical logic
632	PDF Document Add to Reading List Source URL: www.ml.kva.se Language: English - Date: 2010-03-11 12:21:44 Model theory Mathematical logic Logical syntax Interpretation First-order logic Entailment Well-formed formula Linear temporal logic Dependence logic Logic Metalogic Formal languages
633	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2011-12-12 18:08:14 Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory
634	PDF Document Add to Reading List Source URL: aszt.inf.elte.hu Language: English - Date: 2004-11-11 10:41:14 Metalogic Logical syntax Mathematical logic First-order logic Interpretation Well-formed formula Symbol Term algebra Ground expression Logic Model theory Formal languages
635	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-03-21 04:39:41 Mathematical logic Logic in computer science Metalogic CTL* Computation tree logic Model theory Linear temporal logic Well-formed formula Kripke semantics Logic Temporal logic Mathematics
636	PDF Document Add to Reading List Source URL: www.iscid.org Language: English - Date: 2005-06-13 10:58:56 Pseudoknot Formal grammar Context-free grammar Logic Regular grammar FO Parsing Formal languages Theoretical computer science Metalogic
637	PDF Document Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-03 19:03:19 Formal languages Logical syntax Propositional calculus Prenex normal form Interpretation First-order logic Entailment Well-formed formula Substitution Logic Metalogic Model theory
638	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-11-02 17:01:22 Proof theory Deduction Metalogic Model theory Logic in computer science Natural deduction Curry–Howard correspondence Structure Entailment Logic Mathematical logic Mathematics
639	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
640	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2004-10-08 18:46:07 Model theory Metalogic Modal logic Logic in computer science Admissible rule Curry–Howard correspondence Kripke semantics Interpretation Intermediate logic Logic Mathematical logic Propositional calculus

UPDATE