Commits

Branch selector

 45ef6a8

User selector

All users

All time

Commit History

Commits on Mar 27, 2024

• add(FirstOrder): Exponential

  iehality

  committedMar 27, 2024
  45ef6a8

Commits on Mar 26, 2024

• fix

  iehality

  committedMar 26, 2024
  d335901

• refactor

  iehality

  committedMar 26, 2024
  a149441

• feat(Firstorder/Basic): oRIngExp

  iehality

  committedMar 26, 2024
  f99a96e

• chore(Firstorder): remove Class

  iehality

  committedMar 26, 2024
  5f99924

• Merge branch 'master' of https://github.com/iehality/logic

  iehality

  committedMar 26, 2024
  d31cd35

• feat(Propositional): Translation

  iehality

  committedMar 26, 2024
  b73fbe1

Commits on Mar 23, 2024

• Gödel-McKinsey-Tarski Theorem (FormalizedFormalLogic#30)

  SnO2WMaN

  committedMar 23, 2024
  e8278a7

Commits on Mar 22, 2024

• fix(FirstOrder): formula_class

  iehality

  committedMar 22, 2024
  234fbb2

• update

  iehality

  committedMar 22, 2024
  4be1103

• add(Propositional): Translation

  iehality

  committedMar 22, 2024
  b12e71b

Commits on Mar 21, 2024

• feat(Normal Modal): Strength of Logics Part.1 (FormalizedFormalLogic#23)

  SnO2WMaN

  committedMar 21, 2024
  c3911b1

• feat(IntProp): add System

  iehality

  committedMar 21, 2024
  f9915c1

• change: System, Deduction

  iehality

  committedMar 21, 2024
  54176ca

• rename LogicalConnective, _ →ˡᶜ _

  iehality

  committedMar 21, 2024
  a6b7af3

• feat(IntProp): Disjunction Property (FormalizedFormalLogic#29)

  SnO2WMaN

  committedMar 21, 2024
  d028cf3

Commits on Mar 19, 2024

• fix

  iehality

  committedMar 19, 2024
  23209ea

• change file structure

  iehality

  committedMar 19, 2024
  4d400c0

Commits on Mar 18, 2024

• feat: Add Intuitionistic Propositional Logic (FormalizedFormalLogic#16)

  SnO2WMaN

  committedMar 18, 2024
  ca81c20

Commits on Mar 10, 2024

• update Mathlib

  iehality

  committedMar 10, 2024
  7095866

Commits on Feb 17, 2024

• feat(FirstOrder): HClass

  iehality

  committedFeb 17, 2024
  f002f8b

• feat(FirstOrder): standardModel

  iehality

  committedFeb 17, 2024
  378a913

• feat(FirstOrder): Structure.(Zero | One | Add | Mul | EQ | LT)

  iehality

  committedFeb 17, 2024
  43f2ebc

Commits on Feb 15, 2024

• feat(Normal Modal): Frame Definability of 𝐆𝐋 (FormalizedFormalLogic#24)

  SnO2WMaN

  committedFeb 15, 2024
  57beee5

• refactor(Normal Modal): Refactor lemmata and notations (FormalizedFormalLogic#26)

  SnO2WMaN

  committedFeb 15, 2024
  666d8ee

Commits on Feb 12, 2024

• change(FirstOrder): change file structure involving Rew

  iehality

  committedFeb 12, 2024
  78cab9f

• update Logic

  iehality

  committedFeb 12, 2024
  716ff5f

• feat(FirstOrder): StrictHierarchy

  iehality

  committedFeb 12, 2024
  7da5070

Commits on Feb 11, 2024

• change(FirstOrder): Class

  iehality

  committedFeb 11, 2024
  4e4dadf

• feat(FirstOrder): Class, Ball, BEx

  iehality

  committedFeb 11, 2024
  a899481

• feat(FirstOrder): Class

  iehality

  committedFeb 11, 2024
  9730698

• feat(FirstOrder): StrictHierarchy

  iehality

  committedFeb 11, 2024
  b9e7253

Commits on Feb 7, 2024

• add(FirstOrder): StrictHierarchy

  iehality

  committedFeb 7, 2024
  98e3921

• fix

  iehality

  committedFeb 7, 2024
  07560ec

• feat: Polarity

  iehality

  committedFeb 7, 2024
  1ee3096

Pagination

PreviousNext