Proof Theory for Non-Contingency Logic D2247CRPPE

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
2AJVMXF5G8	example	example 17	arxiv
3SCCGN6Y9B	definition	definition 22	arxiv
4B6JJ3T0DR	definition	definition 25	arxiv
69KFC1R530	definition	definition 8	arxiv
7BQ0R20ZTH	definition	definition 18	arxiv
7YP4F4V042	statement	lemma 13	arxiv
Word relations	statement	lemma 5	arxiv
Completeness	statement	theorem 28	arxiv
Finite basis	statement	lemma 6	arxiv
9RZKT04F6C	definition	definition 16	arxiv
9Z6RTG27GT	statement	lemma 15	arxiv
A5FB3RCDEZ	statement	lemma 26	arxiv
BG89Z27FTE	example	example 7	arxiv
BM25VH9QA8	statement	lemma 19	arxiv
CTMWF22TM2	definition	definition 24	arxiv
D74CBGR753	definition	definition 2	arxiv
FR4BDMBBCG	definition	definition 3	arxiv
Soundness	statement	theorem 21	arxiv
JSAWPGHC9M	definition	definition 23	arxiv
QJFCNQBM25	statement	lemma 20	arxiv
QSP2NT8NKR	definition	definition 10	arxiv
TAA79Y75G2	definition	definition 11	arxiv
WEQ8JKY6NW	statement	lemma 9	arxiv
WX90B5D95G	statement	proposition 27	arxiv
XS78AN0M3K	definition	definition 12	arxiv
XXWH7NSD4K	definition	definition 1	arxiv
Y08MBMYKRM	definition	definition 14	arxiv
ZPXC714P79	definition	definition 4	arxiv