scientific article; zbMATH DE number 3271472

zbMath0169.30103MaRDI QIDQ5556399

Rolf Schock

Publication date: 1968

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items (9)

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

This page was built for publication: