An Avron rule for fragments of R-mingle
From MaRDI portal
Publication:2804334
DOI10.1093/LOGCOM/EXT031zbMATH Open1444.03083OpenAlexW1977631992MaRDI QIDQ2804334FDOQ2804334
Publication date: 28 April 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/78887/1/MetAvronFinalA2012.pdf
Recommendations
- Fragments of R-mingle
- On two open questions concerning the implicational fragment of R-mingle
- An explicit formula for fusion rules
- Fragmentability and σ-fragmentability
- A generalization of the Avram-Parter theorem
- A proof of the fusion rules theorem
- A modal restriction of R-mingle with the variable-sharing property
- The Lindelöf property and fragmentability
- Merging in the Horn fragment
- A general method of axiomatizing fragments
Cited In (6)
- Checking Admissibility Using Natural Dualities
- Almost structural completeness; an algebraic approach
- Fragments of R-mingle
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Sugihara algebras: admissibility algebras via the test spaces method
This page was built for publication: An Avron rule for fragments of R-mingle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804334)
