scientific article; zbMATH DE number 1047505

MaRDI QIDQ4349282zbMATH OpenFDO

Authors Viktor Gyuris

Publication date 5 November 1997

zbMATH Keywords

decidabilityassociativitynondistributive arrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1047504
• The finitely axiomatizable complete theories of non-associative arrow frames
• scientific article; zbMATH DE number 1047503

Cited in

(2)

• The finitely axiomatizable complete theories of non-associative arrow frames
• A Complete Axiomatic System for a Process-Based Spatial 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 Q4349282)