scientific article; zbMATH DE number 1406807
From MaRDI portal
Publication:4940723
zbMath0941.03516MaRDI QIDQ4940723
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
Model checking mobile ambients ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Human rationality challenges universal logic ⋮ What is the logic of inference? ⋮ Grounding principles for (relevant) implication ⋮ Naive structure, contraction and paradox ⋮ Noisy vs. Merely Equivocal Logics ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
This page was built for publication:
