Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
a word has a meaning in a proposition only like a rod is a lever only
a word has a meaning in a proposition only like a rod is a lever only
A Well-Founded Semantics for Basic Logic Programs Yisong Wang Fangzhen Lin
A Well-Founded Semantics for Basic Logic Programs Yisong Wang Fangzhen Lin
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
A Unified Framework for Representing Logic Program Updates Yan Zhang Norman Foo
A Unified Framework for Representing Logic Program Updates Yan Zhang Norman Foo
A Type System for Certified Binaries
A Type System for Certified Binaries
A Type System for Certified Binaries
A Type System for Certified Binaries
A Tutorial Introduction to Structured Isar Proofs
A Tutorial Introduction to Structured Isar Proofs
A Triadic Model for the Study of Impossibility in the
A Triadic Model for the Study of Impossibility in the
A Transformational Proof System for Delta-Oriented Programming
A Transformational Proof System for Delta-Oriented Programming
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus Erik T. Mueller
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus Erik T. Mueller
A timeline for Whitehead and Russell as logician`s
A timeline for Whitehead and Russell as logician`s
A Theory of Vague Adjectives Grounded in Relevant Observables Brandon Bennett
A Theory of Vague Adjectives Grounded in Relevant Observables Brandon Bennett
A Theory of Termination via Indirection Aquinas Hobor
A Theory of Termination via Indirection Aquinas Hobor
A Theory of Forgetting in Logic Programming Kewen Wang Abdul Sattar Kaile Su
A Theory of Forgetting in Logic Programming Kewen Wang Abdul Sattar Kaile Su
A Theory for Convex Interval Relations including Unbounded Intervals
A Theory for Convex Interval Relations including Unbounded Intervals
A The Answer Set Programming Competition Francesco Calimeri, Giovambattista Ianni,
A The Answer Set Programming Competition Francesco Calimeri, Giovambattista Ianni,
A Temporal Extension of the Hayes and ter Horst Hans-Ulrich Krieger
A Temporal Extension of the Hayes and ter Horst Hans-Ulrich Krieger
A Tableau-Based Theorem Proving Method for Intuitionistic Logic Oliver Bittel
A Tableau-Based Theorem Proving Method for Intuitionistic Logic Oliver Bittel
A System for Relational Probabilistic Reasoning on Maximum Entropy Matthias Thimm
A System for Relational Probabilistic Reasoning on Maximum Entropy Matthias Thimm
A System for Nonmonotonic Rules on the Web
A System for Nonmonotonic Rules on the Web
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs Kewen Wang
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs Kewen Wang
A Syntactic Approach to Foundational Proof-Carrying Code
A Syntactic Approach to Foundational Proof-Carrying Code
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen
A Survey of Work on Multiple Valued Logic and its
A Survey of Work on Multiple Valued Logic and its