scientific article
From MaRDI portal
Publication:2715514
zbMath0972.03011MaRDI QIDQ2715514
Publication date: 20 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (5)
Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On negation: Pure local rules ⋮ On the Methodology of Paraconsistent Logic ⋮ Gentzen-type methods for bilattice negation
This page was built for publication:
