Results 121 to 130 of about 722,619 (215)

Justification Logic for Intuitionistic Modal Logic

Abstract Justification logic is an explication of modal logic: boxes are replaced with proof terms formally through realisation theorems. This can be achieved syntactically using a cut-free proof system for a modal logic, e.g., using sequent, hypersequent, or nested sequent calculi.
Sonia Marin, Paaras Padhiar
openaire   +1 more source

On not strengthening intuitionistic logic.

Notre Dame Journal of Formal Logic, 1963
Belnap, N. D., Leblanc, H., Thomason, R. H.   +2 more
openaire   +2 more sources

Skolemisation for Intuitionistic Linear Logic

AbstractFocusing is a known technique for reducing the number of proofs while preserving derivability. Skolemisation is another technique designed to improve proof search, which reduces the number of back-tracking steps by representing dependencies on the term level and instantiate witness terms during unification at the axioms or fail with an occurs ...
Bruni, Alessandro, Ritter, Eike, Schürmann, Carsten   +2 more
openaire   +3 more sources

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

An optimized block-based intuitionistic fuzzy framework for multi-focus image fusion. [PDF]

Front Artif Intell
M S R, Reegan Jebadass J, Dhanasekar S, Lakshmanan S.   +3 more
europepmc   +1 more source

Microscopic image enhancement for accurate sickle cell disease identification using intuitionistic fuzzy driven retinex. [PDF]

Sci Rep
Ramakrishnan J, Pathmanaban S, Arumugam V.   +2 more
europepmc   +1 more source

Projectivity meets uniform post-interpolant : classical and intuitionistic logic

We examine the interplay between projectivity (in the sense that was introduced by S. Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logic.
Ciabattoni, Agataeditor, Mojtahedi, SeyedmojtabaWE1680200425621548f3f203-8a28-11ed-af7a-cd0e6406fd51, Gabelaia, Davideditor, Sedlár, Igoreditor, Papafilippou, KonstantinosWE16000201422823802003603988901d649c-22df-11eb-b7c5-88b22631fa52   +4 more
core  

PSO-based parameter optimization of intuitionistic fuzzy generator for low-light image enhancement. [PDF]

Front Artif Intell
S UM, S J.
europepmc   +1 more source

Some Results of Fermatean Fuzzy Set on Subalgebras and Ideals of Bn-Algebras. [PDF]

F1000Res
Derso D, Tefera G, Assen Teshome E.
europepmc   +1 more source

Intuitionistic S4 as a logic of topological spaces

We design and study various topological semantics for the diamond-free intuitionistic modal logic iS4, an intuitionistic analogue of S4. Ultimately we prove that ordinary topological spaces can be used as semantics, using the specialization order to ...
Shillito, Ian, de Groot, Jim
core   +1 more source