scientific article

zbMATH Open0715.03002MaRDI QIDQ3201035

Tadeusz Prucnal

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

first-order logics of relational systems

Mathematics Subject Classification ID

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)