دنبال کردن
Heinrich Wansing
عنوان
نقل شده توسط
نقل شده توسط
سال
The logic of information structures‏
H Wansing‏
Springer 681, 163, 1993‏
3071993
Connexive logic‏
H Wansing‏
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006‏
2332006
Displaying modal logic‏
H Wansing‏
Kluwer Academic Publishers, 1998‏
225*1998
Negation‏
LR Horn, H Wansing‏
1872015
Sequent calculi for normal modal propositional logics‏
H Wansing‏
Journal of Logic and Computation 4 (2), 125-142, 1994‏
1761994
Sequent systems for modal logics‏
H Wansing‏
Handbook of philosophical logic 8, 61-145, 2002‏
1652002
Connexive modal logic‏
H Wansing‏
Advances in Modal Logic Vol. 5 ,, 367-383, 2005‏
1622005
Some useful 16-valued logics: How a computer network should think‏
Y Shramko, H Wansing‏
Journal of Philosophical Logic 34, 121-153, 2005‏
1572005
Truth and Falsehood: An Inquiry Into Generalized Logical Values‏
Y Shramko, H Wansing‏
Springer Verlag, 2011‏
1552011
40 years of FDE: an introductory overview‏
H Omori, H Wansing‏
Studia Logica 105 (6), 1021-1049, 2017‏
1412017
A general possible worlds framework for reasoning about knowledge and belief‏
H Wansing‏
Studia logica 49, 523-539, 1990‏
1261990
Constructive negation, implication, and co-implication‏
H Wansing‏
Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008‏
1182008
Modal logics with Belnapian truth values‏
SP Odintsov, H Wansing‏
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010‏
1152010
Advances in Modal Logic, Volume 2‏
M Zakharyaschev, K Segerberg, M de Rijke, H Wansing‏
100*2001
What is Negation?‏
DM Gabbay, H Wansing‏
Kluwer Academic Publishers, 1999‏
941999
Negation‏
H Wansing‏
The Blackwell guide to philosophical logic, 415-436, 2017‏
902017
Falsification, natural deduction and bi-intuitionistic logic‏
H Wansing‏
Journal of Logic and Computation 26 (1), 425-450, 2016‏
902016
The idea of a proof-theoretic semantics and the meaning of the logical operations‏
H Wansing‏
Studia Logica 64, 3-20, 2000‏
902000
Diamonds are a philosopher's best friends‏
H Wansing‏
Journal of Philosophical Logic 31, 591-612, 2002‏
772002
Proof theory of Nelson’s paraconsistent logic: A uniform perspective‏
N Kamide, H Wansing‏
Theoretical Computer Science 415, 1-38, 2012‏
732012
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20