The Better Bubbling Lemma (Q2864214): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
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 |
Latest revision as of 03:57, 7 July 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