On the rules of proof in the pure functional calculus of the first order

DOI10.2307/2266682zbMath0043.00904OpenAlexW2132425970MaRDI QIDQ5804996

Andrzej Mostowski

Publication date: 1951

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

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

zbMATH Keywords

foundations, philosophy, logic

Related Items (9)

On Tarski's formalization of predicate logic with identity ⋮ Open formulas and the empty domain ⋮ Inclusive first-order logic ⋮ Jaśkowski's universally free logic ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ In memory of Andrzej Mostowski ⋮ Syntactic forcing models for coherent logic ⋮ First order logic with empty structures ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras

This page was built for publication: On the rules of proof in the pure functional calculus of the first order