INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (Q5235069)
From MaRDI portal
scientific article; zbMATH DE number 7114198
Language | Label | Description | Also known as |
---|---|---|---|
English | INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC |
scientific article; zbMATH DE number 7114198 |
Statements
INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (English)
0 references
7 October 2019
0 references
relevant logic
0 references
modal logic
0 references
propositional quantifiers
0 references
incompactness
0 references
Routley-Meyer semantics
0 references