Some characterizations of the first-order functional calculus

DOI10.1007/BF01470880zbMath0119.25102MaRDI QIDQ2626397

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

Uses Software

• Archive Formal Proofs

Cites Work

• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
• On the first-order functional calculus and the truncation of models
• 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
• On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus
• About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi
• On Theses of the First‐Order Functional Calculus
• On definable sets of positive integers

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