scientific article; zbMATH DE number 1538011

zbMath0961.03008MaRDI QIDQ4518866

Paqui Lucio

Publication date: 3 December 2000

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

zbMATH Keywords

completenesssequent calculiintuitionistic implicationsatisfaction relationlogical consequence relationback-saturationcombination of classical and intuitionistic logiccombining logical systemsnonmonotonic forcing relation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Weak negation in inquisitive semantics ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Semantics of structured normal logic programs ⋮ Priest on Negation ⋮ Translating propositional extended conjunctions of Horn clauses into Boolean circuits