Logical systems and formality

DOI10.1007/3-540-44590-0_14MaRDI QIDQ2753859zbMATH OpenFDO

Authors Patrick Raphael Scotto di Luzio

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44590-0_14

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 753770
• Reasoning with sentences and diagrams
• The different ways in which logic is (said to be) formal
• Distinctions with differences: Comparing criteria for distinguishing diagrammatic from sentential systems
• Conceptual Structures at Work

Cited in

(13)

• Fractal images of formal systems
• A diagrammatic reconstruction of Carnap's quasianalysis
• Criteria for logical formalization
• scientific article; zbMATH DE number 1670613 (Why is no real title available?)
• Logical Form and Truth-Conditions
• scientific article; zbMATH DE number 3134288 (Why is no real title available?)
• scientific article; zbMATH DE number 5347850 (Why is no real title available?)
• scientific article; zbMATH DE number 1264617 (Why is no real title available?)
• scientific article; zbMATH DE number 1537946 (Why is no real title available?)
• scientific article; zbMATH DE number 753770 (Why is no real title available?)
• The different ways in which logic is (said to be) formal
• The theory of form logic
• Calculus CL as a Formal System

Describes a project that uses

Uses Software

• LPL software

This page was built for publication: Logical systems and formality

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