A modal restriction of R-Mingle with the variable-sharing property (Q5199096)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A modal restriction of R-Mingle with the variable-sharing property |
scientific article; zbMATH DE number 5938109
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A modal restriction of R-Mingle with the variable-sharing property |
scientific article; zbMATH DE number 5938109 |
Statements
A modal restriction of R-Mingle with the variable-sharing property (English)
0 references
11 August 2011
0 references
R-mingle
0 references
relevance logic
0 references
entailment logic
0 references
variable-sharing property
0 references
Ackermann property
0 references
