Results 131 to 140 of about 785,300 (287)
Intuitionistic Choice and Restricted Classical Logic [PDF]
, 2001 Ulrich Kohlenbach
openalex +1 more source
Tarski's theorem on intuitionistic logic, for polyhedra [PDF]
Annals of Pure and Applied Logic, 2017 N. Bezhanishvili +3 more
semanticscholar +1 more source
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
A semantic hierarchy for intuitionistic logic
Indagationes mathematicae, 2019 G. Bezhanishvili, W. Holliday
semanticscholar +1 more source
Applications of intuitionistic logic in Answer Set Programming [PDF]
, 2004 Mauricio Osorio +2 more
openalex +1 more source
On Some Intuitionistic Modal Logics
Publications of the Research Institute for Mathematical Sciences, 1977 Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [7], Bull [1], [2], [3], Prawitz [6] etc. Here we treat modal logics based on the intuitionistic propositional logic, which call intuitionistic modal logics (abbreviated as IML’s).
openaire +4 more sources
On the adequacy of representing higher order intuitionistic logic as a pure type system
, 1992 Hans Tonino, Ken-etsu Fujita
openalex +1 more source
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
, 2000 Matthias Baaz, Richard Zach
openalex +2 more sources
Intuitionistic Choice and Restricted Classical Logic
, 2000 Ulrich Kohlenbach
openalex +2 more sources
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic [PDF]
, 2005 Zoran Majkić
openalex +1 more source