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