Search results

Would it be better to create a unified notation system?

Status: Open.

#97 In ProofSystem/Encyclopedia;

· Tiancheng-Luo opened on Nov 14, 2022

create entry: Church simple theory of types (1940)

Status: Open.

#91 In ProofSystem/Encyclopedia;

· vcvpaiva opened on Feb 16, 2020

Hoare Logic

Status: Open.

#90 In ProofSystem/Encyclopedia;

· jonaprieto opened on Oct 15, 2018

Entries on LF family

DemandedEntry

Status: Open.

#88 In ProofSystem/Encyclopedia;

· gisellemnr opened on Nov 1, 2017

Matings

DemandedEntry

Status: Open.

#86 In ProofSystem/Encyclopedia;

· gisellemnr opened on Oct 1, 2017

Model elimination

DemandedEntry

Status: Open.

#85 In ProofSystem/Encyclopedia;

· gisellemnr opened on Oct 1, 2017

The Scala Type System

DemandedEntry

Status: Open.

#84 In ProofSystem/Encyclopedia;

· Zahnentferner opened on Sep 29, 2017

Connection calculi

DemandedEntry

Status: Open.

#80 In ProofSystem/Encyclopedia;

· gisellemnr opened on Sep 28, 2017

CDCL

DemandedEntry

Status: Open.

#79 In ProofSystem/Encyclopedia;

· gisellemnr opened on Sep 28, 2017

Jaskowski/Fitch natural deduction

DemandedEntry

Status: Open.

#76 In ProofSystem/Encyclopedia;

· gisellemnr opened on Sep 28, 2017

Carnap's simple type theory

DemandedEntry

Status: Open.

#75 In ProofSystem/Encyclopedia;

· gisellemnr opened on Sep 28, 2017

Add metadata about implementations to entries

Metadata

Status: Open.

#71 In ProofSystem/Encyclopedia;

· Zahnentferner opened on Sep 22, 2017