On two classical results in the first order logic

DOI10.2298/PIM0476021KzbMATH Open1220.03049OpenAlexW1979869343MaRDI QIDQ3090754FDOQ3090754

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

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Two results in negation-free logic
• On two classical results in the first order 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)