Calculus CL as a Formal System

DOI10.1007/978-3-030-54249-8_35MaRDI QIDQ6485480zbMATH OpenFDO

Authors Jens Lemanski, Slinger Jansen

Publication date 7 December 2022

Published in 1514.03024 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-54249-8_35

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 1670612
• Reasoning with sentences and diagrams
• On the completeness of spider diagrams augmented with constants
• Spider Diagrams
• Conceptual Structures at Work

Cited in

(5)

• The formal system λδ
• Extended syllogistics in calculus \(CL\)
• scientific article; zbMATH DE number 3192057 (Why is no real title available?)
• A bitstring semantics for calculus \textit{CL}
• Direct Reduction of Syllogisms with Byzantine Diagrams

This page was built for publication: Calculus CL as a Formal System

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