scientific article
From MaRDI portal
Publication:3794168
zbMATH Open0649.03026MaRDI QIDQ3794168
Publication date: 1986
Title of this publication is not available (Why is that?)
completenessdecidabilityassociative quantifierscalculi with special quantifiersimplicative quantifiers
Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35)
Related Items (5)
Henkin quantifiers and complete problems ⋮ Expressive completeness and decidability ⋮ A remark concerning decidability of complete theories ⋮ On Stronger Calculi for QBFs ⋮ Exotic quantifiers, complexity classes, and complete problems
Recommendations
- Completeness theorems for some intermediate predicate calculi 👍 👎
- Henkin quantifiers and complete problems 👍 👎
- Expressive completeness and decidability 👍 👎
- Completeness of the generalized propositional calculus 👍 👎
- Typed Lambda Calculi and Applications 👍 👎
- A remark concerning decidability of complete theories 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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 Q3794168)
