×

Found 3,419 Documents (Results 1–100)

100
MathJax

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

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 07511924

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

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

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

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

Constructive dynamic logic of relation changers. (English) Zbl 07437020

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, 137-154 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Intuitionistic fuzzy neural networks with interval valued intuitionistic fuzzy conditions. (English) Zbl 07392050

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 99-106 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Cut-free and analytic sequent calculus of intuitionistic epistemic logic. (English) Zbl 07307097

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. 179-192 (2020).
PDF BibTeX XML Cite

Revision operator semantics: some order for the zoo of conditionals. (English) Zbl 07307092

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. 93-110 (2020).
PDF BibTeX XML Cite

Foreword. (English) Zbl 07279917

Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 277-278 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Wright and revisionism. (English) Zbl 07279914

Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 177-222 (2020).
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