scientific article; zbMATH DE number 1916520
From MaRDI portal
Publication:4807689
zbMath1027.03019MaRDI QIDQ4807689
Publication date: 12 January 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessKripke modelsextended Ishihara canonical model constructionpropositional substructural logics with strong negation
Related Items (4)
Linear and affine logics with temporal, spatial and epistemic operators ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Normal modal substructural logics with strong negation ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation
This page was built for publication:
