×

Found 3,478 Documents (Results 1–100)

100
MathJax

Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Nested sequents for intuitionistic modal logics via structural refinement. (English) Zbl 07532529

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, 409-427 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Terminating calculi and countermodels for constructive modal logics. (English) Zbl 07532528

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, 391-408 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021).
MSC:  68V20 03B05 03B20
PDF BibTeX XML Cite
Full Text: DOI Link

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

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, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 1490.03014

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, 115-141 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 07465325

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, 23-46 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Intuitionistic/constructive accounts of the continuum today. (English) Zbl 1467.03032

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476-501 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic. (English) Zbl 07585732

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 541-560 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Actuality in intuitionistic logic. (English) Zbl 07585728

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 459-479 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Inquisitive intuitionistic logic. (English) Zbl 07585721

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 329-348 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Bi-intuitionistic logics: a new instance of an old problem. (English) Zbl 07585718

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 269-288 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Temporal interpretation of intuitionistic quantifiers. (English) Zbl 07585709

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 95-114 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Deriving theorems in implicational linear logic, declaratively. (English) Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv 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