论文信息 - Some relevance logics from the point of view of relational semantics - 字舞流文

Some relevance logics from the point of view of relational semantics

[1] Michael A. McRobbie,et al. Automated theorem proving for non-classical logics , 1988, Research Notes in Theoretical Computer Science.

[2] Arnon Avron. Combining classical logic, paraconsistency and relevance , 2005, J. Appl. Log..

[3] Katalin Bimbó,et al. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 , 2010 .

[4] Richard Routley,et al. Relevant logics and their rivals , 1982 .

[5] N. Belnap,et al. Entailment. The Logic of Relevance and Necessity. Volume I , 1978 .

[6] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .

[7] Katalin Bimbó,et al. New Consecution Calculi for Rt-> , 2012, Notre Dame J. Formal Log..

[8] Katalin Bimbó,et al. Dual Gaggle Semantics for Entailment , 2009, Notre Dame J. Formal Log..

[9] Arnon Avron,et al. What is relevance logic? , 2014, Ann. Pure Appl. Log..

[10] Katalin Bimbó,et al. Functorial Duality for Ortholattices and De Morgan Lattices , 2007, Logica Universalis.

[11] Alasdair Urquhart,et al. Semantics for relevant logics , 1972, Journal of Symbolic Logic.

[12] Katalin Bimbó,et al. On the decidability of implicational ticket entailment , 2013, The Journal of Symbolic Logic.

[13] J. Michael Dunn,et al. Relevance Logic and Entailment , 1986 .

[14] Katalin Bimbó,et al. Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi , 2008 .