No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases
From MaRDI portal
Publication:4915585
DOI10.1007/978-3-0348-0379-3_14zbMath1284.03268OpenAlexW2184456815MaRDI QIDQ4915585
Publication date: 11 April 2013
Published in: Around and Beyond the Square of Opposition (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-0348-0379-3_14
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Metalogical decorations of logical diagrams ⋮ Combinatorial bitstring semantics for arbitrary logical fragments ⋮ Logical geometries and information in the square of oppositions
Cites Work
This page was built for publication: No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases
