Linear logic in a refutational setting
From MaRDI portal
Cites work
- An analytic tableau system for natural logic
- Cut-Based Abduction
- Cut-elimination and deductive polarization in complementary classical logic
- Focusing and polarization in linear, intuitionistic, and classical logics
- Fractional semantics for classical logic
- Fractional-Valued Modal Logic and Soft Bilateralism
- scientific article; zbMATH DE number 2185722 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 3700811 (Why is no real title available?)
- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- scientific article; zbMATH DE number 7669420 (Why is no real title available?)
- Hypersequents, logical consequence and intermediate logics for concurrency
- Linear logic
- Linguistic application of first order intuitionistic linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Proof nets for unit-free multiplicative-additive linear logic
- Quantales and structural rules
- Refutation systems: an overview and some applications to philosophical logics
- Rejection in Łukasiewicz’s and Słupecki’s Sense
- The blind spot. Lectures on logic
- The structure of multiplicatives
Cited in
(4)
This page was built for publication: Linear logic in a refutational setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7004097)
