scientific article
From MaRDI portal
Publication:2753679
zbMath0973.03080MaRDI QIDQ2753679
No author found.
Publication date: 3 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Other algebras related to logic (03G25) Frames, locales (06D22)
Related Items
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ A representation of stably compact spaces, and patch topology. ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Point-Free Spectra of Linear Spreads ⋮ Unnamed Item ⋮ Cut elimination for entailment relations ⋮ A syntactical proof of the Marriage Lemma. ⋮ Towards formal Baer criteria ⋮ Clausal logic and logic programming in algebraic domains
