Intuitionistic logic - Open Access .click

Results 101 to 110 of about 19,372 (208)

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

The ILLTP Library for Intuitionistic Linear Logic [PDF]

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
De Paiva, Valeria Correa Vaz +3 more
core

Dialogical Ecumenism

Bulletin of the Section of Logic
Ecumenical logics are systems where two logics can coexist, sharing vocabulary and avoiding collapses between them. The literature has focused mainly on ecumenism between classical and intuitionistic logic, and several calculi of Natural Deduction and ...
Miguel Álvarez Lisboa
doaj +1 more source

Remark on intuitionistic fuzzy logic and intuitionistic logic

Mathware & soft computing, 1995
It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
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

A novel approach to managing uncertainty in risk assessment using integrated z-numbers and intuitionistic fuzzy sets: A case study on LPG spherical tanks. [PDF]