Výsledky vyhledávání - "minimal logic"

Akademický článek

On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic

Autor: Ashot Baghdasaryan, Hovhannes Bolibekyan

Publikováno v: Journal of Universal Computer Science, Vol 27, Iss 11, Pp 1193-1202 (2021)

There are three main problems for theorem proving with a standard cut-free system for the first order minimal logic. The first problem is the possibility of looping. Secondly, it might generate proofs which are permutations of each other. Finally, du

Externí odkaz: https://doaj.org/article/f2205cc247654498bf82c2913f53472a

Zobrazit plný text záznamu

Akademický článek

A note on Humberstone's constant Ω

Autor: Niki, Satoru, Omori, Hitoshi

Publikováno v: Reports on Mathematical Logic. (56):75-99

Externí odkaz: https://www.ceeol.com/search/article-detail?id=1012109

Zobrazit plný text záznamu

Akademický článek

Proof Compression and NP Versus PSPACE II

Autor: Lew Gordeev, Edward Hermann Haeusler

Publikováno v: Bulletin of the Section of Logic, Vol 49, Iss 3, Pp 213-230 (2020)

We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal propositional logic is known to b

Externí odkaz: https://doaj.org/article/7d889fd0e4414e78ad566edaa4fb5d6f

Zobrazit plný text záznamu