×

Found 2,349 Documents (Results 1–100)

100
MathJax

A logic of affordances. (English) Zbl 07503176

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

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

Hyperdoctrines and the ontology of stratified semantics. (English) Zbl 07326294

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 169-193 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Quasi-Nelson; or, non-involutive Nelson algebras. (English) Zbl 07326293

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 133-168 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Residuated operators and Dedekind-MacNeille completion. (English) Zbl 07326290

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 57-72 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On distributive join semilattices. (English) Zbl 07326288

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 21-40 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Distributivity and varlet distributivity. (English) Zbl 07326287

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 11-20 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. (English) Zbl 1459.06001

Trends in Logic – Studia Logica Library 55. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52165-3/pbk; 978-3-030-52163-9/ebook). x, 193 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Inquisitive dynamic epistemic logic in a non-classical setting. (English) Zbl 07437024

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 205-221 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Expressing validity: towards a self-sufficient inferentialism. (English) Zbl 07307090

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 67-81 (2020).
PDF BibTeX XML Cite

Extended Kripke lemma and decidability for hypersequent substructural logics. (English) Zbl 07299513

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 795-806 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

A restricted fragment of the Lambek calculus with iteration and intersection operations. (English. Russian original) Zbl 07281963

Algebra Logic 59, No. 2, 129-146 (2020); translation from Algebra Logika 59, No. 2, 190-214 (2020).
MSC:  03B47 03G25 03F52
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software