References

  1. Ivano Ciardelli & Floris Roelofsen (2011): Inquisitive Logic. Journal of Philosophical Logic 40, pp. 55–94, doi:10.1007/s10992-010-9142-6.
  2. Kosta Došen (1989): Sequent Systems and Groupoid Models. II. Studia Logica 48, pp. 41–65, doi:10.1007/BF00370633.
  3. Jon Michael Dunn (1993): Star and Perp: Two Treatments of Negation. Philosophical Perspectives 7, pp. 331–357, doi:10.2307/2214128.
  4. Jon Michael Dunn (1999): A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation. In: Dov Gabbay & Heinrich Wansing: What is Negation?, Applied Logic Series 13. Kluwer, pp. 23–53, doi:10.1007/978-94-015-9309-0_2.
  5. Lloyd Humberstone (1988): Operational Semantics for Positive R. Notre Dame Journal of Formal Logic 29, pp. 61–80, doi:10.1305/ndjfl/1093637771.
  6. Hannes Leitgeb (2019): HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes). Journal of Philosophical Logic 48, pp. 305–405, doi:10.1007/s10992-018-9467-0.
  7. Vít Punčochář (2019): Substructural Inquisitive Logics. Review of Symbolic Logic 12, pp. 296–330, doi:10.1017/S1755020319000017.
  8. Vít Punčochář & Igor Sedlár (2021): Epistemic Extensions of Substructural Inquisitive Logics. Journal of Logic and Computation 31, pp. 1820–1844, doi:10.1093/logcom/exab008.
  9. Vít Punčochář & Andrew Tedder (2021): Disjunction and Negation in Information Based Semantics. In: Alexandra Silva, Renata Wassermann & Ruy de Queiroz: Logic, Language, Information, and Computation, WoLLIC 2021, Lecture Notes in Computer Science 13038. Springer, pp. 355–371, doi:10.1007/978-3-030-88853-4_22.
  10. Greg Restall (1999): Negation in Relevant Logics: How I Stopped Worrying and Learned to Love the Routley Star. In: Dov Gabbay & Heinrich Wansing: What is Negation?, Applied Logic Series 13. Kluwer, pp. 53–76, doi:10.1007/978-94-015-9309-0_3.
  11. Heinrich Wansing (1993): Informational Interpretation of Substructural Logics. Journal of Logic, Language, and Information 2, pp. 285–308, doi:10.1007/BF01181683.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org