scientific article; zbMATH DE number 1406807

MaRDI QIDQ4940723zbMATH OpenFDO

Authors Kosta Došen

Publication date 28 February 2000

zbMATH Keywords

BCK logichistorylinear logicrelevant logicsubstructural logicsyntactic calculus

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited in

(12)

• Naive structure, contraction and paradox
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Model checking mobile ambients
• Human rationality challenges universal logic
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• What is the logic of inference?
• Grounding principles for (relevant) implication
• scientific article; zbMATH DE number 4162840 (Why is no real title available?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• scientific article; zbMATH DE number 218494 (Why is no real title available?)
• Noisy vs. merely equivocal logics
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

This page was built for publication:

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