buN0s4SnKRQPR6pUU8rqtMUWsjn5vlVGh0j2FSIDZlw2jq4nKc88fFU7fQsH
Current position: Home >> Scientific Research >> Paper Publications

A propositional system induced by Japaridze’s approach to IF logic

Hits:

Title of Paper:A propositional system induced by Japaridze’s approach to IF logic

Journal:Logic Journal of the IGPL,2014

Indexed by:Journal paper

Discipline:Natural Science

First-Level Discipline:Mathematics

Document Type:J

Volume:22

Issue:6

Page Number:982-991

Translation or Not:No

Included Journals:SCI

Date:2018-08-16

Prev One:Three-way conflict analysis with similarity degree on an issue set

Next One:The countable versus uncountable branching recurrences in computability logic