On the paralogicality of some logical constructs

DOI10.1007/S10559-008-9014-ZzbMath1155.03009OpenAlexW2078362771MaRDI QIDQ946791

P. V. Vasilik, A. I. Provotar'

Publication date: 24 September 2008

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-008-9014-z

zbMATH Keywords

prooffunctionaxiomatic system

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Incompleteness in a topos
• To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the paralogicality of some logical constructs