海量图书期刊资源,随时随地畅享阅读乐趣
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of ConsistencyGemma Robles; José M. Méndez · 2009
The Basic Constructive Logic for Absolute ConsistencyJosé M. Méndez and Gemma Robles · Journal of Logic, Language, and Information · 2009
The Basic Constructive Logic for a Weak Sense of ConsistencyGemma Robles and José M. Méndez · Journal of Logic, Language, and Information · 2008
A Routley-Meyer Type Semantics for Relevant Logics Including$B^{r}$Plus the Disjunctive SyllogismGemma Robles and José M. Méndez · Journal of Philosophical Logic · 2010
Support and Sets of SituationsWiśniewski, Andrzej · Journal of Logic, Language and Information · 2014
Inferential Conditionals and EvidentialityKrzyżanowska, K.; Wenmackers, S.; Douven, I. · Journal of Logic, Language and Information · 2013
The Grammar of Code SwitchingKracht, Marcus; Klein, Udo · Journal of Logic, Language and Information · 2014
Formal Models of AwarenessÅgotnes, Thomas; Alechina, Natasha · Journal of Logic, Language and Information · 2014
Resolving the Infinitude ControversyKornai, András · Journal of Logic, Language and Information · 2014
Natural Language Inference in CoqChatzikyriakidis, Stergios; Luo, Zhaohui · Journal of Logic, Language and Information · 2014
Action Models for ConditionalsLent, Jeremy; Thomason, Richmond H. · Journal of Logic, Language and Information · 2015
NotOnlyBarbaraDekker, Paul J. E. · Journal of Logic, Language and Information · 2015