nopeJun 27, 2022
Systems of Logic for Necessity (Sequent Calculi and Proof Theory)
(2003) : Izumi Takeuti
url: https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/42732
#cut_elimination #gentzen #modal_logic #possible_worlds #predicate_logic #proof_theory #sequ
#my_bibtex
Kyoto University Research Information Repository: Systems of logic for necessity (Sequent Calculi and Proof Theory)