scientific article
From MaRDI portal
Publication:3912779
zbMath0462.03002MaRDI QIDQ3912779
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Intensionality and context change. Towards a dynamic theory of propositions and properties, Some remarks on extending and interpreting theories with a partial predicate for truth, Implication and analysis in classical Frege structures, A feasible theory of truth over combinatory algebra, Term-Generic Logic, \(\kappa\)-continuous lattices and comprehension principles for Frege structures, A type free theory and collective/distributive predication, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, A type-free system extending (ZFC), A type theoretic interpretation of constructive domain theory, On Tarski’s fixed point theorem, Adding proof objects and inductive definition mechanisms to frege structures, Rensets and renaming-based recursion for syntax with bindings extended version, A functional programming approach to the specification and verification of concurrent systems, Induction-recursion and initial algebras., A logic of abstraction related to finite constructive number classes, Partial inductive definitions, About Truth and Types, Type-theoretic logic with an operational account of intensionality, Constructing type systems over an operational semantics, Variable binding operators in transition system specifications, AXIOMS FOR DETERMINATENESS AND TRUTH, A type reduction from proof-conditional to dynamic semantics, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, Substitution in non-wellfounded syntax with variable binding, The Functional Interpretation of Direct Computations, THE CONCEPTHORSEIS A CONCEPT, Feferman and the Truth, Deflationism beyond arithmetic, BUNDER’S PARADOX, An algebraic generalization of Frege structures -- binding algebras, Predication and extensionalization, Truth and the philosophy of mathematics, Equivalences between pure type systems and systems of illative combinatory logic, Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\), THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, Natural Deduction for Equality: The Missing Entity, Montague semantics, nominalization and Scott's domains, Program Testing and the Meaning Explanations of Intuitionistic Type Theory, Steps towards a proof-theoretical semantics, Term-generic logic, Indexed induction-recursion, Categories with Families: Unityped, Simply Typed, and Dependently Typed, Rensets and renaming-based recursion for syntax with bindings, Universes over Frege structures, Property theory: The type-free approach \(v\). The Church approach, Classical lambda calculus in modern dress, Three theories of nominalized predicates
