scientific article; zbMATH DE number 6476783

MaRDI QIDQ2941450zbMATH OpenFDO

Authors 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, http://www.jams.or.jp/scm/contents/e-2013-2/2013-14.pdf

zbMATH Keywords

algebraic logicparaconsistent logicsparacomplete logicsnon-alethic logicsCurry algebra

Mathematics Subject Classification ID

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

Recommendations

• Currying of order-sorted term rewriting systems
• Confluence of curried term-rewriting systems
• A monadic semantics for core Curry
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 2085167
• Curry-typed semantics in type predicate logic
• scientific article; zbMATH DE number 4057484
• scientific article; zbMATH DE number 3461908
• Some FP algebra with currying operation

Cited in

(1)

• Logical algebras as formal systems: H. B. Curry's approach to algebraic logic

This page was built for publication:

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