scientific article; zbMATH DE number 1047505

zbMATH Open0874.03024MaRDI QIDQ4349282FDOQ4349282

Authors: Viktor Gyuris 

Publication date: 5 November 1997

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

Recommendations

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

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)

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)