Variable compactness in 1-order logic

DOI10.1093/jigpal/7.3.327zbMath0929.03015OpenAlexW1971323190MaRDI QIDQ4255974

L. N. Gordeev

Publication date: 25 January 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.3.327

zbMATH Keywords

first-order logicrelative completenessfinite variable logicTarski's conjugated quasi-projections

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Finite methods in 1-order formalisms

This page was built for publication: Variable compactness in 1-order logic