Results 91 to 100 of about 722,619 (215)
International Transactions in Operational Research, Volume 33, Issue 2, Page 719-774, March 2026.Abstract The transformative potential of artificial intelligence (AI) ChatBots, leveraging natural language processing for information retrieval and knowledge synthesis, has garnered attention across diverse fields, including research. Recognizing AI's importance, researchers and policymakers are actively engaged in its development.
Cinzia Daraio +2 more
wiley +1 more source
On the Polynomial-Space Completeness of Intuitionistic Propositional Logic [PDF]
, 2003 summary:The well-known Dyckoff's 1992 calculus/procedure for intuitionistic propositional logic is considered and analyzed. It is shown that the calculus is Kripke complete and the procedure in fact works in polynomial space.
Vítězslav ˇ Svejdar +1 more
core +1 more source
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
Intuitionistic Sahlqvist theory for deductive systems [PDF]
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive ...
Fornasiere, Damiano, Moraschini, Tommaso
core +1 more source
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Zagadnienia Filozoficzne w Nauce, 2014 Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
A Decidable Intuitionistic Temporal Logic [PDF]
, 2017 We introduce the logic ITL^e, an intuitionistic temporal logic based on structures (W,R,S), where R is used to interpret intuitionistic implication and S is an R-monotone function used to interpret temporal modalities.
Diéguez, Martín +3 more
core +1 more source
On Some Semi-Intuitionistic Logics
Studia Logica, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Manuel Cornejo, Ignacio D. Viglizzo
openaire +4 more sources
A correct polynomial translation of S4 into intuitionistic logic
, 2022 We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect.
Thomson, James, Gore, Rajeev
core +1 more source
On an Intuitionistic Logic for Pragmatics [PDF]
, 2018 We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic.
Carrara, Massimiliano +2 more
core +3 more sources
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj