frege-systems

Star

Here are 2 public repositories matching this topic...

xamidi / pmData

Sponsor

Star

Data on Hilbert proof systems, primarily created by pmGenerator. Foundations for system exploration.

logic propositional-logic modal-logic formal-proofs condensed-detachment hilbert-systems frege-systems

Updated Jul 1, 2026

xamidi / luk-pmproofs

Sponsor

Star

Shortest known proofs of the propositional calculus theorems from Principia Mathematica, derived from Łukasiewicz (L₁)-system (CCpqCCqrCpr,CCNppp,CpCNpq)

logic propositional-logic propositional-calculus formal-proofs condensed-detachment hilbert-systems frege-systems proof-minimization

Updated Dec 6, 2025

Improve this page

Add a description, image, and links to the frege-systems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the frege-systems topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

frege-systems

Here are 2 public repositories matching this topic...

xamidi / pmData

xamidi / luk-pmproofs

Improve this page

Add this topic to your repo