scientific article; zbMATH DE number 3532923
From MaRDI portal
Publication:4109651
zbMath0342.02018MaRDI QIDQ4109651
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
, , AND REINHARDT’S PROGRAM ⋮ Implication and analysis in classical Frege structures ⋮ Levels of truth ⋮ A type-free system extending (ZFC) ⋮ One step is enough ⋮ Positive Frege and its Scott‐style semantics ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ On the costs of nonclassical logic ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ BUNDER’S PARADOX ⋮ Abstraction in Fitch's Basic Logic ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ A logic covering undefinedness in program proofs
This page was built for publication:
