Tautology - PDFSEARCH.IO - Document Search Engine

Tautology
Results: 76

#	Item
51	PDF Document Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
52	Boolean Games Paul Harrenstein, Wiebe van der Hoek t, John-Jules Meyer Institute of Information and Computing Sciences, Utrecht University & Cees Witteveen Faculty of Information Technology and Systems, Delft University Add to Reading List Source URL: www.tark.org Language: English* - Date: 2011-10-23 10:31:50 Propositional calculus Boolean algebra Semantics Model theory Tautology Satisfiability Interpretation Forcing Logical connective Logic Mathematical logic Mathematics
53	Description Logics Deduction in Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Mathematical logic Model theory Logical truth Satisfiability Entailment Interpretation Well-formed formula Tautology Completeness Logic Metalogic Propositional calculus
54	A Logical Toolbox for Knowledge Approximation (preliminary version) Frederic Koriche and Jean Sallantin LIRMM, UMR 5506, Universit@ Montpellier II CNRS 161, rue Ada[removed]Montpellier Cedex 5, France Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Model theory Logical truth Semantics Metalogic Modal logic Satisfiability Interpretation Epistemic modal logic Tautology Logic Mathematical logic Mathematics
55	A Nonstandard Approach to the. Logical Omniscience Problem Ronald Fagin Joseph Y. Halpern Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Philosophical logic Interpretation Tautology Epistemic modal logic Entailment Modal logic Relevance logic Logic Mathematical logic Propositional calculus
56	An Introduction to Proof Complexity, Part I. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:13 Computational complexity theory Propositional calculus Logic in computer science Boolean algebra Circuit complexity Tautology Switching lemma Logical connective Proof complexity Theoretical computer science Mathematics Logic
57	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
58	2 Edward N. Zalta x ,...,x λ-Conversion: [λy1[removed]yn ϕ]x1[removed]xn ≡ ϕy11,...,ynn , provided x1 , . . . , xn Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2014-04-01 13:09:20 Logical truth Model theory Semantics Tautology Substitution Interpretation Partition First-order logic Entailment Logic Propositional calculus Mathematical logic
59	Is the principle of energy a tautology ? Alejandro A. Torassa Creative Commons Attribution 3.0 License Add to Reading List Source URL: torassa.tripod.com - Date: 2014-01-14 09:13:42
60	Is the principle of least action a tautology ? Alejandro A. Torassa Creative Commons Attribution 3.0 License Add to Reading List Source URL: torassa.tripod.com - Date: 2014-01-14 09:13:39