Results 101 to 110 of about 20,888 (254)

A Criticism of Kripke’s Semantic for Intuitionistic Logic

O Que Nos Faz Pensar, 2016
This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj  

SBE-Algebras via Intuitionistic Fuzzy Structures

Mathematics
The study introduces the concept of intuitionistic fuzzy SBE-subalgebras, ideals, and filters, along with level sets of intuitionistic fuzzy sets within the framework of Sheffer stroke BE-algebras. These concepts are shown to be crucial for understanding
Tahsin Oner, Hashem Bordbar, Neelamegarajan Rajesh, Akbar Rezaei   +3 more
doaj   +1 more source

Generalized Intuitionistic Fuzzy Ideals of BCK∕BCI-algebras Based on 3-valued Logic and Its Computational Study

Fuzzy Information and Engineering, 2017
On the basis of cut sets of the grade of membership of fuzzy point xa to belongingness (∈), or quasi-coincident (q), or belongingness and quasi-coincident(∈∧q), or belongingness or quasi-coincident (∈∨q) to an intuitionistic fuzzy set A of X, an (α,β ...
Chiranjibe Jana, Madhumangal Pal
doaj   +1 more source

Intuitionistic hybrid logic

Journal of Applied Logic, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Braüner, Torben, de Paiva, Valeria
openaire   +2 more sources

Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle

, 2021
Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli   +3 more
openalex   +2 more sources

On intuitionistic linear logic

, 2021
Gavin Bierman
openalex   +1 more source

Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions [PDF]

, 2020
Daniel Rogozin
openalex   +1 more source

Cones as a model of intuitionistic linear logic

, 2020
Thomas Ehrhard
openalex   +2 more sources

To What Extent Contemporary Mathematical Science is Reliable

RUDN Journal of Philosophy, 2011
The crisis in foundation of mathematics at the end of 19th beginning of 20th centuries initiated a number of axiomatic set theoretical systems during the first half of the 20th century. These systems were the result of different philosophical approaches (
Valery Kh Khakhanian
doaj  

How to Assess Different Algorithms Using Intuitionistic Fuzzy Logic [PDF]

, 2021
Tania Pencheva, Maria Angelova, Evdokia Sotirova, Krassimir Atanassov   +3 more
openalex   +1 more source