×

Found 753 Documents (Results 1–100)

100
MathJax

Tableaux and restricted quantification for systems related to weak Kleene logic. (English) Zbl 07532506

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 3-19 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Minimum classical extensions of constructive theories. (English) Zbl 07495182

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 353-362 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Aspects of categorical recursion theory. (English) Zbl 07440908

Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Condition/decision duality and the internal logic of extensive restriction categories. (English) Zbl 07515960

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 179-202 (2019).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A three-valued semantics for typed logic programming. (English) Zbl 07453101

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36-51 (2019).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

The ILLTP library for intuitionistic linear logic. (English) Zbl 07450005

Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118-132 (2019).
PDF BibTeX XML Cite
Full Text: arXiv Link

Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079

Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019).
MSC:  03F30 03F50 03F55
PDF BibTeX XML Cite
Full Text: DOI

MK-fuzzy automata and MSO logics. (English) Zbl 1483.68164

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106-120 (2017).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: Link

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