Continuous L-domains in logical form

, &
Annals of Pure and Applied Logic 172 (9):102993 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.102993

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Essential and density topologies of continuous domains.Dănuţ Rusu & Gabriel Ciobanu - 2016 - Annals of Pure and Applied Logic 167 (9):726-736.
Logical form, mathematical practice, and Frege's Begriffsschrift.Danielle Macbeth - 2018 - Annals of Pure and Applied Logic 169 (12):1419-1436.
A constructive theory of continuous domains suitable for implementation.Andrej Bauer & Iztok Kavkler - 2009 - Annals of Pure and Applied Logic 159 (3):251-267.
Polish G-spaces and continuous logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
ABRAMSKY, S., Domain theory in logical form (l-2) l-77 FARMER, WM, A unification-theoretic method for investigat-ing the k-provability problem (3) 173-214 GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis (3) 215-240. [REVIEW]D. Miller - 1991 - Annals of Pure and Applied Logic 51:301.
Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
Recursive properties of Euclidean domains.Leonard Schrieber - 1985 - Annals of Pure and Applied Logic 29 (1):59-77.
A synthetic theory of sequential domains.Bernhard Reus & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (8):1062-1074.
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
On pp-elimination and stability in a continuous setting.Nicolas Chavarria & Anand Pillay - 2023 - Annals of Pure and Applied Logic 174 (5):103258.

Analytics

Added to PP
2021-05-21

Downloads
27 (#825,296)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

L-domains as locally continuous sequent calculi.Longchun Wang & Qingguo Li - 2024 - Archive for Mathematical Logic 63 (3):405-425.

Add more citations

References found in this work

Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
Essential and density topologies of continuous domains.Dănuţ Rusu & Gabriel Ciobanu - 2016 - Annals of Pure and Applied Logic 167 (9):726-736.

Add more references