Search Results for "natural deduction"

x
Sort By:

Showing 5 open source projects for "natural deduction"

View related business solutions
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1

    Natural Deduction Planner

    Assistant for generating Natural Deduction style proofs

    This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2

    Jape

    Highly configurable proof / disproof editor and calculator

    Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational semantics. Mac, Unix, Windows.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    YANDES - Yet Another Natural Deduction System
    Downloads: 1 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5
    Deduce is an artificial intelligence program which accepts natural language sentences as input, then allows the user to ask questions against that input. Deduce attempts to answer questions using logical deduction techniques.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB