×

Found 24 Documents (Results 1–24)

Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality. (English) Zbl 1511.03004

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 411-475 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field