×

Found 14,558 Documents (Results 1–100)

100
MathJax

A note on paradoxical propositions from an inferential point of view. (English) Zbl 07503174

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 183-199 (2021).
MSC:  03A05
PDF BibTeX XML Cite

Uniqueness of logical connectives in a bilateralist setting. (English) Zbl 07503163

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 1-16 (2021).
MSC:  03A05
PDF BibTeX XML Cite

Formal verification of a Java component using the RESOLVE framework. (English) Zbl 07497928

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 287-305 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Generating functions for probabilistic programs. (English) Zbl 07496650

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 231-248 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Pattern eliminating transformations. (English) Zbl 07496642

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

A brief introduction to the Shkop approach to conflict resolution in formal argumentation. (English) Zbl 07483823

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 46-62 (2021).
MSC:  68T27
PDF BibTeX XML Cite

An invitation to topological semi-abelian algebras. (English) Zbl 1480.18008

Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 27-66 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Lorenzen and constructive mathematics. (English) Zbl 07465326

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Proof theory of partially normal skew monoidal categories. (English) Zbl 1477.18041

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 230-246 (2021).
MSC:  18M45 03F03 03G30
PDF BibTeX XML Cite
Full Text: arXiv Link

DisCoPy: monoidal categories in Python. (English) Zbl 1477.18002

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 183-197 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract). (English) Zbl 1477.03111

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 168-182 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

A monad for probabilistic point processes. (English) Zbl 1477.60074

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 19-32 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software