On two classical results in the first order logic

DOI10.2298/PIM0476021KMaRDI QIDQ3090754zbMATH OpenOpenAlexFDO

Authors Miodrag Kapetanović

Publication date 1 September 2011

Published in Publications de l'Institut Mathematique (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/PIMB/090/2.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Structure of proofs (03F07)

Recommendations

• On two classical results in the first order logic
• scientific article; zbMATH DE number 150218
• scientific article; zbMATH DE number 1751350
• On the classification of first order Gödel logics
• Intuitionistic completeness for first order classical logic
• scientific article; zbMATH DE number 1749186
• scientific article; zbMATH DE number 638619
• On the proof-theory of two formalisations of modal first-order logic
• Classical First-Order Logic
• An intuitionistic characterization of classical logic

Cited in

(3)

• On two classical results in the first order logic
• scientific article; zbMATH DE number 2068677 (Why is no real title available?)
• Two results in negation-free logic

This page was built for publication: On two classical results in the first order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090754)