Pages that link to "Item:Q3244103"

The following pages link to Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory (Q3244103):

Displaying 50 items.

• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
• Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
• How QBF expansion makes strategy extraction hard (Q2096438) (← links)
• Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
• A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
• Interpolation in extensions of first-order logic (Q2186699) (← links)
• First-order interpolation derived from propositional interpolation (Q2193292) (← links)
• Perceptibility in pre-Heyting logics (Q2200986) (← links)
• Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
• Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
• Farkas-based tree interpolation (Q2233543) (← links)
• The institution-theoretic scope of logic theorems (Q2254570) (← links)
• Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
• Definability for model counting (Q2303508) (← links)
• Restricted interpolation over modal logic S4 (Q2342101) (← links)
• On interpolation in automated theorem proving (Q2352502) (← links)
• On propositional definability (Q2389643) (← links)
• Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
• \(\mathrm{NL}_\lambda\) as the logic of scope and movement (Q2425323) (← links)
• Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
• Classification of extensions of the modal logic S4 (Q2436104) (← links)
• Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
• Definability and interpolation in non-classical logics (Q2498367) (← links)
• Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131) (← links)
• Definibility in normal theories (Q2562854) (← links)
• An interpolating theorem prover (Q2575736) (← links)
• Toward a theory of the process of explanation (Q2576383) (← links)
• Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
• Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
• An interpolation theorem (Q2711348) (← links)
• On dynamically generated ontology translators in agent communication (Q2739004) (← links)
• Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
• Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys (Q2798781) (← links)
• Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
• A Configurable CEGAR Framework with Interpolation-Based Refinements (Q2827465) (← links)
• Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
• Semantic interpolation (Q2901200) (← links)
• Horn Clause Solvers for Program Verification (Q2947164) (← links)
• Weakly Equivalent Arrays (Q2964457) (← links)
• Craig Interpolation in Displayable Logics (Q3010362) (← links)
• Relational Decomposition (Q3087994) (← links)
• Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
• Satisfiability Modulo Theories (Q3176369) (← links)
• Combining Model Checking and Deduction (Q3176378) (← links)
• Properties preserved under algebraic constructions (Q3257768) (← links)
• Interpolation-Based GR(1) Assumptions Refinement (Q3303899) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
• On Enumerating Query Plans Using Analytic Tableau (Q3455780) (← links)