Code

First order bi-intuitionistic logic#7

Code

Open

ianshil wants to merge 7 commits intouds-psl:coq-8.18uds-psl/coq-library-fol:coq-8.18from ianshil:coq-8.18ianshil/coq-library-fol:coq-8.18Copy head branch name to clipboard

+5,880-4

Commits

Commits on Nov 19, 2024

• Bi-int ininitial commit

  ianshil

  committed
  7587179

• Kripke semantics added

  ianshil

  committed
  8d8e013

Commits on Nov 21, 2024

• Syntax features and Syntax - issues

  ianshil

  committed
  0264164

• General files

  ianshil

  committed
  8398578

• Update up to Lind Lem

  ianshil

  committed
  e22d054

Commits on Nov 22, 2024

• Some progress stand Lind

  ianshil

  committed
  d7f1128

• induction with falsity flag

  dominik-kirst

  committed
  038a1f9