Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how


	Mathematics > Foundations of Mathematics > Logic
	ITEMS

	42 items are in this category. Listing all items:

	Metamathematics: Foundations & Physicalization [in Books] The Fuzzy Logic Pack [in Articles] Analytica--A Theorem Prover in Mathematica [in Articles] Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation [in Articles] Analytica: A Theorem Prover for Mathematica [in Articles] Applying Fuzzy Logic Theory to Agricultural Statistics [in Conference Proceedings] Artificial Intelligence: Fuzzy Systems for Control Applications: The Truck Backer-Upper [in Articles] Automatic Generation of Numerical Code [in Conference Proceedings] bnf2xml - context search bnf xml trees [in MathSource: Packages and Programs] Boole-Bell-type inequalities in Mathematica [in Conference Proceedings] Boolean Expression Manipulation [in MathSource: Packages and Programs] Certainty and Uncertainty in Science [in Articles] CFLP: A Mathematica Implementation of a Distributed Constraint Solving System [in Articles] Combinatorial Ornithology [in MathSource: Packages and Programs] An Elementary Logic Package [in Articles] Experimentation and Proof in Mathematics [in Articles] Formal Proofs in Axiomatic Set Theory [in MathSource: Packages and Programs] Fuzzifying a Target Motion Analysis Model using Fril and Mathematica [in Articles] Fuzzy logic alternative for analysis in the biomedical sciences [in Articles] Fuzzy Logic [in Technical Notes] Fuzzy Logic Pack for Mathematica [in Articles] Fuzzy Modelling in an Intelligent Data Browser [in Articles] Fuzzy Set Functions [in MathSource: Packages and Programs] Generating Closed-Form Formulae that Count Satisfiable Instances of a-SAT [in Conference Proceedings] G�del's Algorithm for Class Formation [in Articles] Logic Programming [in MathSource: Packages and Programs] The Mathematica Programmer: Logic Programming I: The Interpreter [in Articles] Modelling integer programming with logic: Language and implementation [in Articles] Packages for Logic and Set Theory [in MathSource: Packages and Programs] Packages for Logic and Set Theory [in Articles] Pattern logic operations [in MathSource: Packages and Programs] Probabilistic Situation Calculus [in Articles] Proof of Robbins' Conjecture [in MathSource: Packages and Programs] Reasoning About Iteration in G�del's Class Theory [in Articles] Symbolic package for quantum groups, noncommutative algebras, and logics [in Articles] Syntactic Pattern-Matching and Combinatory Logic [in Articles] Theorema: A Proving System based on Mathematica [in Articles] Tools for verification of a large discrete system [in Articles] Using Assumptions and Solving Inequalities [in Conference Proceedings] Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture [in Conference Proceedings] Using Mathematica to Understand the Computer Proof of the Robbins Conjecture [in Articles] The Zebra Puzzle [in MathSource: Packages and Programs]
	Display in one page: 10 \| 20 \| All records