scientific article; zbMATH DE number 7695589

zbMATH Open1515.68300MaRDI QIDQ6156535FDOQ6156535

Authors: Meghna Bhadra, Steffen Hölldobler 

Publication date: 13 June 2023

Full work available at URL: http://www.collegepublications.co.uk/downloads/ifcolog00058.pdf#section*.5

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

Recommendations

• The weak completion semantics and equality
• On quantification of weak sequential completeness
• Logical Weak Completions of Paraconsistent Logics
• Semantical completeness of first-order predicate logic and the weak fan theorem
• Logics with Common Weak Completions
• scientific article; zbMATH DE number 877753
• Weak completion theorem with generalized quantifiers in \(\text{LF}(X)\)
• Completeness in Proof-Theoretic Semantics
• Weak relative pseudocomplements in semilattices
• On the strong semantical completeness of the intuitionistic predicate calculus

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in artificial intelligence (68T27)

Cited In (6)

• A Principle-Based Analysis of Weakly Admissible Semantics
• Title not available (Why is that?)
• Weak completeness in \(\text{E}\) and \(\text{E}_{2}\)
• Conditional Reasoning and Relevance
• Weak containment for partial words is coNP-complete
• Weakly complete problems are not rare

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 Q6156535)