scientific article; zbMATH DE number 1421198
From MaRDI portal
Publication:4946227
zbMath0951.03028MaRDI QIDQ4946227
Andreas Nonnengart, Andrzej Szałas, Hans Jürgen Ohlbach
Publication date: 26 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Unnamed Item ⋮ Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ First-Order Resolution Methods for Modal Logics
This page was built for publication:
