Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696)
From MaRDI portal
scientific article; zbMATH DE number 238223
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> |
scientific article; zbMATH DE number 238223 |
Statements
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (English)
0 references
17 August 1993
0 references
semilattice semantics
0 references
propositional quantifier
0 references
primary interpretation
0 references