scientific article; zbMATH DE number 4177028
From MaRDI portal
Publication:3201035
zbMATH Open0715.03002MaRDI QIDQ3201035FDOQ3201035
Authors: Tadeusz Prucnal 
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
- Relational Logics and Their Applications
- LOGICS FOR THE RELATIONAL SYLLOGISTIC
- Publication:3204444
- Relational proof system for relevant logics
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- scientific article; zbMATH DE number 2063839
- scientific article; zbMATH DE number 970626
- scientific article; zbMATH DE number 1086630
- Algebras of Relations and Relevance Logic
- Relational separation logic
Classical first-order logic (03B10) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (18)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Relationlog system prototype
- Title not available (Why is that?)
- Title not available (Why is that?)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- LOGICS FOR THE RELATIONAL SYLLOGISTIC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Distributed Relation Logic
- Title not available (Why is that?)
- Relational Complexity and Higher Order Logics
- Relational Logics and Their Applications
- Relations in monadic third-order logic
- Relational semantics for Kleene logic and action logic
- Title not available (Why is that?)
- NOTIONAL LOGIC OF SYSTEMS
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 Q3201035)
