Propositional Logics Related to Heyting's and Johansson's

By K. Segerberg. 2008

60 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/488b0ffe5ed4f343ea75bfac220a2c82b1ad0038