scientific article; zbMATH DE number 1140579

zbMath0902.03006MaRDI QIDQ4385349

Seiki Akama

Publication date: 13 April 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessdecidabilityfinite model propertystrong negationKripke-style semanticsconstructive modal logiclogic of constructible falsity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Normal modal substructural logics with strong negation

This page was built for publication: