The Better Bubbling Lemma (Q2864214): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q124879021, #quickstatements; #temporary_batch_1726312983621 |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: A filter lambda model and the completeness of type assignment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata, Languages and Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic as Mathematical Science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Relevance of Semantic Subtyping / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semantics of entailment omega / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantic subtyping / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3001365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5694704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semantics of entailment. III / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124879021 / rank | |||
Normal rank |
Latest revision as of 15:18, 14 September 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Better Bubbling Lemma |
scientific article |
Statements
The Better Bubbling Lemma (English)
0 references
6 December 2013
0 references
semantics
0 references
subtyping
0 references
classical relevant logic
0 references
minimal relevant logic
0 references
CB
0 references
B+
0 references
type theory
0 references
bubbling
0 references