共 50 条
- [4] Intuitionistic propositional probability logic [J]. MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (04) : 479 - 495
- [5] Bisimulation and propositional intuitionistic logic [J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 347 - 360
- [6] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
- [9] Intuitionistic Propositional Logic with Galois Negations [J]. STUDIA LOGICA, 2023, 111 (01) : 21 - 56
- [10] Computations in fragments of intuitionistic propositional logic [J]. 1600, Publ by Kluwer Academic Publishers Group, Dordrecht, Neth (07):