The metatheory of the classical propositional calculus is not axiomatizable

DOI10.2307/2274233zbMATH Open0608.03002OpenAlexW1994261599MaRDI QIDQ3748264FDOQ3748264

Authors: Ian A. Mason 

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274233

Recommendations

• Undecidable problems for propositional calculi with implication
• Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
• scientific article; zbMATH DE number 4114609
• scientific article
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi

zbMATH Keywords

Craig interpolationfirst-order theoryaxiomatizabilitycomplete theorypropositional calculushereditarily undecidabletwo-sorted structureinfinitary propositional calculi

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classification theory, stability, and related concepts in model theory (03C45) Decidability of theories and sets of sentences (03B25) Abstract model theory (03C95) Interpolation, preservation, definability (03C40) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• δ-Logics and generalized quantifiers
• An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem

Cited In (4)

• Title not available (Why is that?)
• The variety of consequence, according to Bolzano
• Modal languages and bounded fragments of predicate logic
• The many faces of interpolation

This page was built for publication: The metatheory of the classical propositional calculus is not axiomatizable

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