Formal system: Quick Facts
Facts
| Also Known As | logistic system • axiomatic system |
|---|
Related Topics and References
Topics
Syllogisticformal languageaxiomatic basisaxiomatizationlogical calculusdecidabilityconsistencyinterpretationinconsistencytheorem of logicRelationtheoremArgumentHistory of logicApplied logicModern logicAncient logicPhilosophy of logicMedieval logicfuzzy logic
Dig Deeper: More Articles That Discuss This Topic
Key People
Stanisław Leśniewski
Polish logician and mathematician
George Boole
British mathematician
Augustus De Morgan
English mathematician and logician
Giuseppe Peano
Italian mathematician
Louis Couturat
French philosopher and logician