First-Order Formulas in Conjunctive Quantificational Form

DOI10.1002/MALQ.19880340107MaRDI QIDQ3789520zbMATH OpenOpenAlexFDO

Authors Hans Kleine Büning, Theodor Lettmann

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340107

zbMATH Keywords

conjunctions of quantified classesprenex formulas

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 4200184
• scientific article; zbMATH DE number 4029504
• scientific article; zbMATH DE number 3918329
• scientific article; zbMATH DE number 3715502
• A first-order logic with no logical constants

Cited in

(5)

• A note on the size of prenex normal forms
• scientific article; zbMATH DE number 6538222 (Why is no real title available?)
• scientific article; zbMATH DE number 4029504 (Why is no real title available?)
• scientific article; zbMATH DE number 4061212 (Why is no real title available?)
• Decomposing Quantified Conjunctive (or Disjunctive) Formulas

This page was built for publication: First-Order Formulas in Conjunctive Quantificational Form

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789520)