A Simple Logic Library

A simple library for working with first order logic and natural deduction proofs

License	Apache 2.0
GroupId	io.github.pirocks
ArtifactId	simple-logic-lib
Last Version	0.0.7
Release Date	Apr 8, 2019
Type	jar
Description	A Simple Logic Library A simple library for working with first order logic and natural deduction proofs
Project URL	https://github.com/pirocks/simple-logic-lib
Source Code Management	https://github.com/pirocks/simple-logic-lib.git

Download simple-logic-lib

Filename	Size
simple-logic-lib-0.0.7.pom
simple-logic-lib-0.0.7.jar	200 KB
simple-logic-lib-0.0.7-sources.jar	17 KB
simple-logic-lib-0.0.7-javadoc.jar	419 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/ -->
<dependency>
    <groupId>io.github.pirocks</groupId>
    <artifactId>simple-logic-lib</artifactId>
    <version>0.0.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/
implementation 'io.github.pirocks:simple-logic-lib:0.0.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/
implementation ("io.github.pirocks:simple-logic-lib:0.0.7")

Apache Buildr

'io.github.pirocks:simple-logic-lib:jar:0.0.7'

Apache Ivy

<dependency org="io.github.pirocks" name="simple-logic-lib" rev="0.0.7">
  <artifact name="simple-logic-lib" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.pirocks', module='simple-logic-lib', version='0.0.7')
)

Scala SBT

libraryDependencies += "io.github.pirocks" % "simple-logic-lib" % "0.0.7"

Leiningen

[io.github.pirocks/simple-logic-lib "0.0.7"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.3.21
org.jetbrains.kotlin : kotlin-test-junit	jar	1.3.21
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.

simple-logic-lib

A simple logic library. Currently a work in progress. Jars on Maven central should be working/useable.

Current Features:

• A library for manipulating first order logic expressions.
• Outputting to mathml/html
• Outputing to prefix notation/easily parseable string form
• Performing fairly simple pattern matching and pattern based rewriting.
• Equals/hashcode implementation which handles bound variables correctly.
• Natural deduction proof verification.
• Kotlin DSL builder syntax for natural deduction proofs.
• Infix builder functions for logic

Maven Dependency

<dependency>
  <groupId>io.github.pirocks</groupId>
  <artifactId>simple-logic-lib</artifactId>
  <version>0.0.7</version>
</dependency>

Feature wishlist/in progress

• Html/mathml output for natural deduction
• Ability to create custom rules for natural deduction
• Better mathml output/compatibility with more browsers
• Improved documentation
• Usage Examples
• Compatibility/interop with simple-algebra-lib

Versions

Version
0.0.7 Apr 8, 2019