The completeness of a predicate-functor logic

DOI10.2307/2273980MaRDI QIDQ3714045zbMATH OpenOpenAlexFDO

Authors John Bacon

Publication date 1985

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

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

zbMATH Keywords

natural deductionaxiomatizationsemantic completenessHenkin modelfirst-order logic without individual symbolsmultiple maximal consistent setsTraditional Formal Logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• A tableau system of proof for predicate-functor logic with identity
• scientific article; zbMATH DE number 4023238
• scientific article; zbMATH DE number 1735876
• The completeness of Carnap's predicate logic
• Publication:4943268

Cites work

• scientific article; zbMATH DE number 3125737 (Why is no real title available?)
• An axiomatization of predicate functor logic
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Logical inference in English: A preliminary analysis
• Predicate-functors and the limits of decidability in logic
• Quantifiers as modal operators

Cited in

(9)

• scientific article; zbMATH DE number 4023238 (Why is no real title available?)
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• A tableau system of proof for predicate-functor logic with identity
• Criteria of functional completeness for meta-algebras without assignments of logical constants
• scientific article; zbMATH DE number 1059316 (Why is no real title available?)
• Algebraization of quantifier logics, an introductory overview
• A completeness proof for a regular predicate logic with undefined truth value
• Axiomatization via translation: Hiż's warning for predicate logic
• Freeing Structural Realism from Model Theory

This page was built for publication: The completeness of a predicate-functor logic

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