scientific article; zbMATH DE number 1140673
From MaRDI portal
Publication:4385438
zbMath0896.03010MaRDI QIDQ4385438
Luis Fariñas del Cerro, Andreas Herzig
Publication date: 13 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possible worlds semanticsintuitionistic logicclassical logicdecision procedurecombining logicsHeyting logic
Related Items
Weak negation in inquisitive semantics ⋮ A History of Until ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Information dynamics and uniform substitution ⋮ Consistency, Completeness, and Classicality ⋮ Importing logics ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Combining fragments of classical logic: when are interaction principles needed?
This page was built for publication: