On the paralogicality of some logical constructs

DOI10.1007/S10559-008-9014-ZzbMATH Open1155.03009OpenAlexW2078362771MaRDI QIDQ946791FDOQ946791

Authors: 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

Recommendations

• Proving contradictions in formal theories. I
• scientific article; zbMATH DE number 4200174
• Logic of paradox revisited
• scientific article; zbMATH DE number 221552
• Virtual logic

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)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• A note on freedom from detachment in the logic of paradox
• Title not available (Why is that?)

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

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