scientific article; zbMATH DE number 3271472
From MaRDI portal
Publication:5556399
zbMath0169.30103MaRDI QIDQ5556399
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Single-domain free logic and the problem of compositionality, A sequent calculus for a negative free logic, Meeting of the Association for Symbolic Logic, New York, 1974, GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC, A free logic with intensions as possible values of terms, A partial functions version of Church's simple theory of types, A modest logic of plurals, A mechanization of strong Kleene logic for partial functions, The lazy logic of partial terms
