Website
http://dataportal.arc.gov.au/NCGP/API/grants/FT100100952
Funding Status
Closed
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Funded Activity Summary
Quasi-subtractive varieties: a unified framework for substructural, modal and quantum logic. An algebraic theory is proposed that provides a common umbrella for a plethora of non-classical logics. At the same time, it identifies a core that these logics share with classical algebras.Funded Activity Details
Start Date: 03-2011
End Date: 03-2015
Funding Scheme: ARC Future Fellowships
Funding Amount: $650,082.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Mathematical Logic, Set Theory, Lattices and Universal Algebra | Pure Mathematics |
