. "We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems."@en . . "A form of feasible interpolation for constant depth Frege systems" . "000278641100017" . . "Journal of Symbolic Logic" . . . . . "Kraj\u00ED\u010Dek, Jan" . . . "1"^^ . . "1"^^ . "A form of feasible interpolation for constant depth Frege systems"@en . "RIV/67985840:_____/10:00353751" . "A form of feasible interpolation for constant depth Frege systems"@en . . "75" . . "[7D80C29BA178]" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "244620" . "feasible interpolation; Frege proof systems; lower bounds"@en . "RIV/67985840:_____/10:00353751!RIV11-MSM-67985840" . "P(IAA100190902), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)" . . . "11"^^ . . "0022-4812" . . . "2" . . "We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems." . . "A form of feasible interpolation for constant depth Frege systems" .