scientific article; zbMATH DE number 970626

From MaRDI portal

Revision as of 20:52, 13 March 2024 by Import240313080341 (talk | contribs) (Created automatically from import240313080341)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5688805

Jump to:navigation, search

zbMath0871.03008MaRDI QIDQ5688805

Ewa S. Orłowska

Publication date: 23 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relational logic relational proof systems nonclassical propositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (3)

A deep inference system for the modal logic S5 ⋮ A proof system for contact relation algebras ⋮ Rasiowa-Sikorski deduction systems in computer science applications.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5688805&oldid=30856961"