Open AccessSet-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
Author(s) -
양은석
Publication year - 2017
Publication title -
ceolhag sasang/cheolhak sasang
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2713-8755
pISSN - 1226-7007
DOI - 10.15750/chss...201708.004
Subject(s) - kripke semantics , mathematics , semantics (computer science) , algebra over a field , symmetric monoidal category , norm (philosophy) , pure mathematics , discrete mathematics , computer science , theoretical computer science , philosophy , intermediate logic , programming language , functor , epistemology , description logic