scientific article; zbMATH DE number 3085803
From MaRDI portal
Publication:5824680
zbMath0053.34402MaRDI QIDQ5824680
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (56)
Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ On Enumerating Query Plans Using Analytic Tableau ⋮ Exact Query Reformulation with First-Order Ontologies and Databases ⋮ On propositional definability ⋮ On a generalization of a theorem of E. W. Beth ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ On Automorphisms of Polyadic Algebras ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Epimorphisms in varieties of residuated structures ⋮ Der Interpolationssatz der intuitionistischen Prädikatenlogik ⋮ Some problems concerning language and physics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Definability and commonsense reasoning ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Classification of extensions of the modal logic S4 ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Definability theorems in normal extensions of the provability logic ⋮ Recursive definitions and fixed-points on well-founded structures ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Explicit definitions of implicitly definable objects in some modal logics ⋮ Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators ⋮ Sets and functions in theoretical physics ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ The institution-theoretic scope of logic theorems ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Beth definability, interpolation and language splitting ⋮ A logical look at characterizations of geometric transformations under mild hypotheses ⋮ On the theory of biased bisection operations and their inverses ⋮ Recursive Definitions and Fixed-Points ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Definability and interpolation in non-classical logics ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Definability for model counting ⋮ Definability, decidability, complexity ⋮ The many faces of interpolation ⋮ The road to two theorems of logic ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Amalgamation, congruence-extension, and interpolation properties in algebras ⋮ On the vicious circle in definitions ⋮ Definibility in normal theories ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Some new results in definability ⋮ Intuitionistic logic and implicit definability ⋮ Restricted interpolation over modal logic S4 ⋮ Generalised graded interpolation ⋮ Frege's new science
This page was built for publication:
