On simplicity of formulas

DOI10.1007/BF00370372zbMATH Open0723.03021OpenAlexW1494501809MaRDI QIDQ757354FDOQ757354

Authors: Michał Krynicki, Lesław W. Szczerba 

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370372

Recommendations

• Simplicity
• scientific article; zbMATH DE number 885314
• On simplifying truth-functional formulas
• scientific article; zbMATH DE number 1534597
• Prolegomena to any theory of proof simplicity

zbMATH Keywords

generalized Kleene-Mostowski classificationKleene-Mostowski hierarchynumber of quantifier alternationsnumber of quantifiersquantifier rankFraïssé's partial isomorphisms

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cites Work

• Definability with bounded number of bound variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a generalization of quantifiers
• An application of games to the completeness problem for formalized theories
• On the extending of models (I)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursive Predicates and Quantifiers
• Upper and lower bounds for first order expressibility
• Theory of models with generalized atomic formulas
• Title not available (Why is that?)
• Logic with the quantifier “there exist uncountably many”
• On the extending of models (IV)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some model theory for monotone quantifiers
• Generalized Ehrenfeucht games
• Title not available (Why is that?)
• Some applications of a non-Archimedean analogue of Descartes' rule of signs
• The role of the axiom of induction in elementary arithmetic

Cited In (8)

• Title not available (Why is that?)
• Simplifying Inclusion–Exclusion Formulas
• The ubiquitous axiom
• Title not available (Why is that?)
• On simplifying truth-functional formulas
• Technical notes on a theory of simplicity
• The parallel postulate
• On simplification of formulas with unconstrained variables and quantifiers

This page was built for publication: On simplicity of formulas

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