Some characterizations of the first-order functional calculus

DOI10.1007/BF01470880MaRDI QIDQ2626397zbMATH OpenFDO

Authors Juliusz Reichbach

Publication date 1963

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/161103

zbMATH Keywords

mathematical logic

Cites work

• A note about connection of the first-order functional calculus with many valued propositional calculi
• A note to my paper: On characterizations of the first-order functional calculus
• About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi
• On definable sets of positive integers
• On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus
• On the first-order functional calculus and the truncation of models
• On Theses of the First‐Order Functional Calculus
• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten

Describes a project that uses

Uses Software

• Archive of Formal Proofs

This page was built for publication: Some characterizations of the first-order functional calculus

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