×

Found 3,747 Documents (Results 1–100)

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto’s propositional ontology \(\bf L_1\). arXiv:2402.07030

Preprint, arXiv:2402.07030 [math.LO] (2024).
BibTeX Cite
Full Text: arXiv

On intuitionistic diamonds (and lack thereof). (English) Zbl 07850750

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 283-301 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Ill-founded proof systems for intuitionistic linear-time temporal logic. (English) Zbl 07850747

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 223-241 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

A new calculus for intuitionistic strong Löb logic: strong termination and cut-elimination, formalised. (English) Zbl 07850739

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 73-93 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Intuitionistic fuzzy algebraic field extensions. (English) Zbl 07826969

Melliani, Said (ed.) et al., Recent advances in fuzzy sets theory, fractional calculus, dynamic systems and optimization. Contributions based on the presentations at the international conference on partial differential equations and applications, modeling and simulation, Beni Mellal, Morocco, from June 1–2, 2021. Cham: Springer. Lect. Notes Netw. Syst. 476, 433-436 (2023).
MSC:  03-XX
PDFBibTeX XMLCite
Full Text: DOI

Verified completeness in Henkin-style for intuitionistic propositional logic. (English) Zbl 07823010

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 36-48 (2023).
MSC:  68T27 03B05
PDFBibTeX XMLCite
Full Text: arXiv Link

Intuitionistic fuzzy knapsack problem trough the index matrices prism. (English) Zbl 1521.90108

Georgiev, Ivan (ed.) et al., Numerical methods and applications. 10th international conference, NMA 2022, Borovets, Bulgaria, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13858, 314-326 (2023).
MSC:  90C27 90C70
PDFBibTeX XMLCite
Full Text: DOI

Revising logics. (English) Zbl 07740519

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 303-320 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Multifractal dimensions and fractional differentiation in automated edge detection on intuitionistic fuzzy enhanced image. (English) Zbl 1517.28002

Banerjee, Santo (ed.) et al., Frontiers of fractal analysis. Recent advances and challenges. Boca Raton, FL: Chapman & Hall/CRC. 154-171 (2022).
MSC:  28A80 03B20 26A33
PDFBibTeX XMLCite
Full Text: DOI

Towards an intuitionistic deontic logic tolerating conflicting obligations. (English) Zbl 07691329

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 280-294 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? (English) Zbl 07691322

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 175-189 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Time and Gödel: fuzzy temporal reasoning in PSPACE. (English) Zbl 07691313

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 18-35 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Medvedev’s logic and products of converse well orders. (English) Zbl 1531.03048

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 681-696 (2022).
MSC:  03B45 03B20
PDFBibTeX XMLCite

Analytic cut and Mints’ symmetric interpolation method for bi-intuitionistic tense logic. (English) Zbl 1531.03095

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 601-623 (2022).
MSC:  03F05 03B20 03B44
PDFBibTeX XMLCite

Intuitionistic modality and Beth semantics. (English) Zbl 1531.03013

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 579-599 (2022).
MSC:  03B20 03B45 03B53
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software