Q3201035
type: Item
instance of: scholarly article
zbMATH Open document ID: 0715.03002
author: Tadeusz Prucnal
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C10
zbMATH DE Number: 4177028
zbMATH Keywords: first-order logics of relational systems
MaRDI profile type: Publication
Recommended article: Relational Logics and Their Applications
Recommended article: LOGICS FOR THE RELATIONAL SYLLOGISTIC
Recommended article: Q3204444
Recommended article: Relational proof system for relevant logics
Recommended article: RELEVANCE LOGICS AND RELATION ALGEBRAS
Recommended article: Q4461445
Recommended article: Q5688805
Recommended article: Q4362879
Recommended article: Algebras of Relations and Relevance Logic
Recommended article: Relational separation logic
description: scientific article