logics

Installation and Setup

  • Installation and Setup
  • Project Structure
  • Contributing Guidelines

Propositional Logics

  • Language
  • Formula
  • Inference
  • Parsers
  • Random Formula Generators
  • Many-Valued Semantics
  • Mapped Many-Valued Semantics
  • Axiom Systems
  • Natural Deduction
  • Tableaux
  • Metainferential Tableaux
  • Sequents

Predicate Logics

  • Language
  • Formula
  • Parsers
  • Random Formula Generators
  • Models
  • Truth Theory
  • Natural Deduction
logics
  • »
  • Search

© Copyright 2020, Ariel Jonathan Roffe

Built with Sphinx using a theme provided by Read the Docs.