Diffusion afp-devel 086e65efb46c

New entry: Propositional_Logic_Class
086e65efb46c
Actions

Tags

None

Subscribers

None

Description

New entry: Propositional_Logic_Class

Details

Provenance

Authored on

Parents

rAFP82485f4069a3: sitegen for Cook_Levin

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP086e65efb46c: New entry: Propositional_Logic_Class.Jan 11 2023, 3:53 PM

Changes (43)

Path

Size

Propositional_Logic_Class.toml

Propositional_Logic_Class

Classical_Connectives.thy

Classical_Logic.thy

Classical_Logic_Completeness.thy

Implication_Logic.thy

List_Utilities.thy

authors/

doty/

data/

Propositional_Logic_Class.html

Quantifier_Elimination_Hybrid.html

statistics/

propositional_logic_class

topics/

logic/

general-logic/

classical-propositional-logic/

proof-theory/

rAFP086e65efb46c

metadata/entries/Propositional_Logic_Class.toml

Loading...

thys/Propositional_Logic_Class/Classical_Connectives.thy

Loading...

thys/Propositional_Logic_Class/Classical_Logic.thy

Loading...

thys/Propositional_Logic_Class/Classical_Logic_Completeness.thy

Loading...

thys/Propositional_Logic_Class/Implication_Logic.thy

Loading...

thys/Propositional_Logic_Class/List_Utilities.thy

Loading...

thys/Propositional_Logic_Class/Makefile

Loading...

thys/Propositional_Logic_Class/ROOT

Loading...

thys/Propositional_Logic_Class/document/root.bib

Loading...

thys/Propositional_Logic_Class/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/doty/index.html

Loading...

web/authors/doty/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/Propositional_Logic_Class.html

Loading...

web/entries/Quantifier_Elimination_Hybrid.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/propositional_logic_class/index.html

Loading...

web/topics/index.html

Loading...

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

Loading...

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

Loading...

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

Loading...

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

Loading...

web/topics/logic/index.html

Loading...

web/topics/logic/index.xml

Loading...

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

Loading...

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

Loading...