scientific article; zbMATH DE number 3085803
From MaRDI portal
zbMath0053.34402MaRDI QIDQ5824680
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
