Repository navigation

tableaux

Public

About

Tableau for non-classical logics

tableaux.odilf.com

nix non-classical-logics tableaux wasm

1 star

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.helix		.helix
nix		nix
playground		playground
src		src
.envrc		.envrc
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
examples-graham-priest.toml		examples-graham-priest.toml
examples.toml		examples.toml
flake.lock		flake.lock
flake.nix		flake.nix

Repository files navigation

tableux

This is based on the book An Introduction to Non-Classical Logic by Graham Priest.

About

Tableau for non-classical logics

tableaux.odilf.com

nix non-classical-logics tableaux wasm

1 star

0 watching

Report repository

Contributors

Languages