The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant

DOI10.1093/JIGPAL/JZN007zbMath1145.03012OpenAlexW2023000062MaRDI QIDQ3508164

Gemma Robles

Publication date: 27 June 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzn007

zbMATH Keywords

substructural logicsconstructive negationternary frame semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant