Szukaj

Wyniki wyszukiwania

• Constructive Logic is Connexive and Contradictory

  Heinrich Wansing

  675-701

  02.01.2024
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  16.06.2021
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  19.07.2016
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  25.02.2016
• A Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  387-416

  12.12.2024
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  08.08.2018
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  15.03.2007