Solutions to some open problems from Slaney

MaRDI QIDQ2966520zbMATH OpenFDO

Authors Branden Fitelson

Publication date 7 March 2017

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/3923/3517

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• Solution to a problem of Ono and Komori
• Solution to a problem of Ono and Komori
• Further Results on Proof Theories For Semilattice Logics
• Relevance logic: problems open and closed
• To distribute or not to distribute?

Cited in

(2)

• Solutions to Cintula's open problems
• scientific article; zbMATH DE number 624616 (Why is no real title available?)

This page was built for publication: Solutions to some open problems from Slaney

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2966520)