Results 131 to 140 of about 5,025 (226)

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

The exact correspondence between intuitionistic and modal logic (Extended abstract)

A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4.
von Plato, Jan
core  

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

Learning, realizability and games in classical arithmetic

, 2011
PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core  

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

Mon Hefte Math
von Plato 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

Mixed order single variable intuitionistic fuzzy time series forecasting method based on a new artificial neural network and grey wolf optimization algorithm. [PDF]

Sci Rep
Cansu T, Bas E, Egrioglu E.
europepmc   +1 more source

The structure of logical consequence : proof-theoretic conceptions

, 2010
The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core  

Smart emergency multi-attribute decision-making for typhoon response based on a hybrid intuitionistic fuzzy approach. [PDF]

Sci Rep
Gorbachev S, Gerasimenko E, Dixit A, Mani A, Kureichik V.   +4 more
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]

PLoS One
Aliabadi MM, Ahmadi Moshiran V, Kalatpour O, Ahmadi O.   +3 more
europepmc   +1 more source