The completeness of the first-order functional calculus
From MaRDI portal
Cites work
Cited in
(only showing first 100 items - show all)- HasCasl: integrated higher-order specification and program development
- Interval logics with applications to study of tense and aspect in English
- A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
- Experimental logics and ^0_2-theories
- Investigations into quantified modal logic. I
- Completeness theorems for continuous functions and product topologies
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- First order logic with empty structures
- Gödel's completeness theorem
- Axiomatisation and decidability of \(F\) and \(P\) in cyclical time
- A decidable multi-modal logic of context
- Mathematical modal logic: A view of its evolution
- The natural deduction systems for the three-valued nonsense logics Z and E
- Distributed first order logic
- Canonical extensions and ultraproducts of polarities
- Prior-type modal logic. II
- Skolem redux
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
- Theory of completeness for logical spaces
- Event-based time-stamped claim logic
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \)
- Completeness in equational hybrid propositional type theory
- Natural deduction system for three-valued Heyting's logic
- Beyond Rasiowa's algebraic approach to non-classical logics
- A modest logic of plurals
- A modal proof theory for final polynomial coalgebras
- Completeness of calculii for axiomatically defined classes of algebras
- Nicht-Standardmodelle der Zahlentheorie
- Current trends in substructural logics
- Neutral free logic: motivation, proof theory and models
- Classifying categories for partial equational logic
- An infinitary system for the least fixed-point logic restricted to finite models
- Completing the Riesz-Dunford functional calculus
- The compactness of first-order logic:from gödel to lindström
- Model Theory for the Higher Order Predicate Calculus
- From pictures to semantical games: Hintikka's journey through semantic representationalism
- Lindenbaum's lemma via open induction
- The number of logical values
- In Memoriam: Leon Albert Henkin 1921–2006
- Leon Henkin
- A fortuitous year with Leon Henkin
- A bit of history related to logic based on equality
- Leon Henkin the reviewer
- Henkin's theorem in textbooks
- Henkin on completeness
- The countable Henkin principle
- April the 19th
- Henkin and hybrid logic
- Changing a Semantics: Opportunism or Courage?
- Proofs of the compactness theorem
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Models of complete theories
- The Interior Operator Logic and Product Topologies
- Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
- Ontologically neutral logic
- Alonzo church:his life, his work and some of his miracles
- Identity, equality, nameability and completeness
- Identity, equality, nameability and completeness. II
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
- Barwise: Infinitary Logic and Admissible Sets
- Erdős Graphs Resolve Fine's Canonicity Problem
- A collapse theorem for holographic algorithms with matchgates on domain size at most 4
- scientific article; zbMATH DE number 764337 (Why is no real title available?)
- Completeness in hybrid type theory
- The Mathematical Development of Set Theory from Cantor to Cohen
- The Discovery of My Completeness Proofs
- Completeness: from Gödel to Henkin
- Natural deduction for Yuriev's logic
- Correspondence analysis for logic of rational agent
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Tarskian Classical Relevant Logic
- The Semantic Function of the Axiomatic Method
- Lewisian Naturalness and a new Sceptical Challenge
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Physical computational complexity and first-order logic
- Prior on the semantics of modal and tense logic
- Rasiowa-Sikorski sets and forcing
- The interpretation existence lemma
- Logic—The Big Picture
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- The prehistory of the subsystems of second-order arithmetic
- Probabilistic logic over equations and domain restrictions
- Substitutionless predicate logic with identity
- A simplified formalization of predicate logic with identity
- Open formulas and the empty domain
- Nonstandard arithmetic
- Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik
- An extension of the Craig-Lyndon interpolation theorem
- Limit Ultrapowers
- scientific article; zbMATH DE number 3069864 (Why is no real title available?)
- Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls
- Remark on complete interpretations by models
- Abstract categorical logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Ranks, spectra and their dynamics for families of constant expansions of theories
- A completeness proof for a regular predicate logic with undefined truth value
- The logic of separation logic: models and proofs
- Categorical quantification
- A Boolean-algebraic approach to completeness for normal modal predicate logics
- Adding a constant and an axiom to a doctrine
This page was built for publication: The completeness of the first-order functional calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5791200)
