scientific article; zbMATH DE number 1975420

MaRDI QIDQ4424663zbMATH OpenFDO

Authors J. Michael Dunn

Publication date 4 March 2004

zbMATH Keywords

combinatory algebrasdynamic logicgaggle theorylogic of programmingrelation algebrasternary frames

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 67020
• scientific article; zbMATH DE number 1086633
• Ternary relations and relevant semantics
• Dynamic logic with program specifications and its relational proof system
• Some open questions in the theory of program schemes and dynamic logics

Cited in

(4)

• The relevance of relevance to relevance logic
• A ``reply to my ``critics
• On the ternary relation and conditionality
• Relational semantics for Kleene logic and action 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 Q4424663)