On Combined Connectives
暂无分享,去创建一个
[1] Marcus Kracht,et al. Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.
[2] Dov M. Gabbay,et al. Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics , 1996, Journal of Symbolic Logic.
[3] Diderik Batens. Frontiers of Paraconsistent Logic , 2000 .
[4] Cristina Sernadas,et al. Fibring: completeness preservation , 2001, Journal of Symbolic Logic.
[5] Heinrich Wansing,et al. Connectives Stranger than Tonk , 2006, J. Philos. Log..
[6] Arnon Avron. Non-deterministic semantics for logics with a consistency operator , 2007, Int. J. Approx. Reason..
[7] A. Avron. Tonk-A Full Mathematical Solution , 2008 .
[8] Cristina Sernadas,et al. A Graph-theoretic Account of Logics , 2009, J. Log. Comput..
[9] Cristina Sernadas,et al. On meet-combination of logics , 2012, J. Log. Comput..
[10] Dov M. Gabbay,et al. Fibred Semantics and the Weaving of Logics , 2012 .
[11] Ricardo Gonçalves,et al. Abstract Valuation Semantics , 2013, Stud Logica.