scientific article

zbMATH Open1318.03035MaRDI QIDQ2941450

Jair Minoro Abe

Publication date: 28 August 2015

Full work available at URL: http://www.jams.or.jp/scm/abstract/e-2013/2013-14.txt

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic logicparaconsistent logicsparacomplete logicsnon-alethic logicsCurry algebra

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Recommendations

• Some FP algebra with currying operation 👍 👎
• Confluence of curried term-rewriting systems 👍 👎
• Functional Logic Programming: From Theory to Curry 👍 👎
• Currying of order-sorted term rewriting systems 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: