A weak logic with the axiom mingle lacking the variable-sharing property
ISSN: 0138-0680
Year of publication: 2011
Volume: 40
Issue: 3-4
Pages: 195-202
Type: Article
ISSN: 0138-0680
Year of publication: 2011
Volume: 40
Issue: 3-4
Pages: 195-202
Type: Article