scientific article; zbMATH DE number 6476783

zbMATH Open1318.03035MaRDI QIDQ2941450FDOQ2941450

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

Title of this publication is not available (Why is that?)

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

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)

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)