Formalization as the immanent part of logical solving

DOI10.21146/2074-1472-2018-24-1-129-145MaRDI QIDQ5742202zbMATH OpenOpenAlexWikidataFDO

Authors Nikolay N. Nepeivoda

Publication date 16 May 2019

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2018-24-1-129-145

zbMATH Keywords

applied logicschoice of logicformalization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Deformalization as the immanent part of logical solving
• scientific article; zbMATH DE number 91357
• Анализ vs дедукция
• scientific article; zbMATH DE number 16511
• Problems to formalization of the process of the logical inference

Cited in

(3)

• scientific article; zbMATH DE number 91357 (Why is no real title available?)
• Deformalization as the immanent part of logical solving
• scientific article; zbMATH DE number 3273133 (Why is no real title available?)

This page was built for publication: Formalization as the immanent part of logical solving

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