scientific article; zbMATH DE number 3086346
From MaRDI portal
Publication:5825229
zbMath0054.00601MaRDI QIDQ5825229
No author found.
Publication date: 1951
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
Twenty-five basic theorems in situation and world theory ⋮ Open formulas and the empty domain ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Leon Henkin the Reviewer ⋮ The Henkin Sentence ⋮ Rethinking Quine's argument on the collapse of modal distinctions ⋮ The implicational fragment of $R$-mingle ⋮ A three-valued Fregean quantification logic ⋮ The functional composition of sense ⋮ Unnamed Item ⋮ On the number of types ⋮ Contextual deduction theorems ⋮ Fregean quantification theory ⋮ State-transition machines for lambda-calculus expressions ⋮ Visions of Henkin ⋮ The grammar of Platonism ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A survey of deduction theorems for the propositional calculi ⋮ The deduction theorem for Lukasiewicz many-valued propositional calculi ⋮ Kripke semantics for knowledge representation logics ⋮ Properties, propositions and sets ⋮ The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ Unity through truth ⋮ A general argument against structured propositions ⋮ Structured propositions and trivial composition ⋮ Wittgensteinian tableaux, identity, and co-denotation ⋮ A survey of formal semantics ⋮ Leon Henkin ⋮ Pragmatics and intensional logic ⋮ Deduction theorems for weak implicational logics ⋮ Property theory: The type-free approach \(v\). The Church approach
This page was built for publication:
