Ockham's Calculus of Strict Implication

DC FieldValueLanguage
dc.contributor.authorLenzen, Wolfgang
dc.date.accessioned2021-12-23T16:01:52Z-
dc.date.available2021-12-23T16:01:52Z-
dc.date.issued2015
dc.identifier.issn16618297
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/5212-
dc.description.abstractIn his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.
dc.language.isoen
dc.publisherSPRINGER BASEL AG
dc.relation.ispartofLOGICA UNIVERSALIS
dc.subject14th century
dc.subjectHistory of logic
dc.subjectLogic
dc.subjectScience & Technology - Other Topics
dc.subjectWilliam of Ockham
dc.titleOckham's Calculus of Strict Implication
dc.typejournal article
dc.identifier.doi10.1007/s11787-014-0114-4
dc.identifier.isiISI:000415208900004
dc.description.volume9
dc.description.issue2, SI
dc.description.startpage181
dc.description.endpage191
dc.identifier.eissn16618300
dc.publisher.placePICASSOPLATZ 4, BASEL, 4052, SWITZERLAND
dcterms.isPartOf.abbreviationLog Universalis
Show simple item record

Google ScholarTM

Check

Altmetric