scientific article; zbMATH DE number 4177028
From MaRDI portal
Publication:3201035
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
Cited in
(19)- NOTIONAL LOGIC OF SYSTEMS
- scientific article; zbMATH DE number 4091579 (Why is no real title available?)
- scientific article; zbMATH DE number 1416394 (Why is no real title available?)
- scientific article; zbMATH DE number 4128794 (Why is no real title available?)
- The Relationlog system prototype
- scientific article; zbMATH DE number 5863196 (Why is no real title available?)
- scientific article; zbMATH DE number 1859180 (Why is no real title available?)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- LOGICS FOR THE RELATIONAL SYLLOGISTIC
- scientific article; zbMATH DE number 887303 (Why is no real title available?)
- scientific article; zbMATH DE number 5060895 (Why is no real title available?)
- Distributed Relation Logic
- Relational Complexity and Higher Order Logics
- scientific article; zbMATH DE number 2246054 (Why is no real title available?)
- Relational Logics and Their Applications
- Relations in monadic third-order logic
- Relational semantics for Kleene logic and action logic
- Exploring the landscape of relational syllogistic logics
- scientific article; zbMATH DE number 1416393 (Why is no real title available?)
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)
