Diffusion afp-devel e33b36de67b6

New entry: Synthetic_Completeness
e33b36de67b6
Actions

Tags

None

Subscribers

None

Description

New entry: Synthetic_Completeness

Details

Provenance

Authored on

Parents

rAFP81dc779aa4f6: New entry: Quantifier_Elimination_Hybrid

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPe33b36de67b6: New entry: Synthetic_Completeness.Jan 10 2023, 12:32 PM

Changes (40)

Path

Size

Synthetic_Completeness.toml

Synthetic_Completeness

Derivations.thy

Example_First_Order_Logic.thy

Example_Hybrid_Logic.thy

Example_Modal_Logic.thy

Example_Propositional_SC.thy

Example_Propositional_Tableau.thy

Maximal_Consistent_Sets.thy

Refutations.thy

authors/

from/

data/

Synthetic_Completeness.html

statistics/

synthetic_completeness

topics/

logic/

general-logic/

proof-theory/

rAFPe33b36de67b6

metadata/entries/Synthetic_Completeness.toml

Loading...

thys/ROOTS

Loading...

thys/Synthetic_Completeness/Derivations.thy

Loading...

thys/Synthetic_Completeness/Example_First_Order_Logic.thy

Loading...

thys/Synthetic_Completeness/Example_Hybrid_Logic.thy

Loading...

thys/Synthetic_Completeness/Example_Modal_Logic.thy

Loading...

thys/Synthetic_Completeness/Example_Propositional_SC.thy

Loading...

thys/Synthetic_Completeness/Example_Propositional_Tableau.thy

Loading...

thys/Synthetic_Completeness/Maximal_Consistent_Sets.thy

Loading...

thys/Synthetic_Completeness/ROOT

Loading...

thys/Synthetic_Completeness/Refutations.thy

Loading...

thys/Synthetic_Completeness/document/root.bib

Loading...

thys/Synthetic_Completeness/document/root.tex

Loading...

web/authors/from/index.html

Loading...

web/authors/from/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/Synthetic_Completeness.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/theories/synthetic_completeness/index.html

Loading...

web/topics/index.html

Loading...

web/topics/logic/general-logic/index.html

Loading...

web/topics/logic/general-logic/index.xml

Loading...

web/topics/logic/proof-theory/index.html

Loading...

web/topics/logic/proof-theory/index.xml

Loading...