Document Search Results

from until

Sorting

Found 3 Documents (Results 1–3)

Newest Citations Relevance

Meaning and computing: two approaches to computable propositions. (English) Zbl 1540.03030

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 100-116 (2021).

MSC: 03B38 03B40

Cite Review PDF

Full Text: DOI

Pezlar, Ivo

Algorithmic theories of problems. A constructive and a non-constructive approach. (English) Zbl 1417.03124

Log. Log. Philos. 26, No. 4, 473-508 (2017).

MSC: 03B15 03B60 03F50 03A05

Cite Review PDF

Full Text: DOI

Raclavský, Jiří

Explicating the notion of truth within transparent intensional logic. (English) Zbl 1336.03016

Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 167-177 (2014).

MSC: 03A05