A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

DOI10.1073/PNAS.49.6.828MaRDI QIDQ5729293zbMATH OpenOpenAlexWikidataFDO

Authors Raymond M. Smullyan

Publication date 1963

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1073/pnas.49.6.828

zbMATH Keywords

mathematical logic

Cited in

(21)

• Relevant analytic tableaux
• Universal abstract consistency class and universal refutation
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Jean van Heijenoort's contributions to proof theory and its history
• Reducing higher-order theorem proving to a sequence of SAT problems
• Cut-elimination for quantified conditional logic
• Linear reasoning in modal logic
• Systematization of finite many-valued logics through the method of tableaux
• The foundations of Suslin logic
• Fragments of first order logic, I: universal Horn logic
• Analytic tableaux for higher-order logic with choice
• Σ₁ compactness for next admissible sets
• Reducing higher-order theorem proving to a sequence of SAT problems
• Trees and nest structures
• Uniform Gentzen systems
• Resolution in type theory
• On the model theory of denumerably long formulas with finite strings of quantifiers
• Formalized proof systems for propositional logic
• A general schema for bilateral proof rules
• The strategic balance of games in logic
• Simple tableaus for simple intuitionistic logics

This page was built for publication: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

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