Szukaj

Wyniki wyszukiwania

• To found or not to found? That is the question!

  Davide Bondoni

  217–240

  01.12.2014
• Contradictions in Multiverse Translation of Paraconsistent Logic daC into Many-Sorted Logic

  Julian Mauricio Valdes-Toro

  1-37

  12.09.2025
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  06.11.1998
• Changing one’s position in a discussion — some adaptive approaches

  Liza Verhoeven

  277-297

  23.11.2003
• Ernst Schröder, "Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico"

  Walter Carnielli

  267-272

  30.11.2011
• A Monadic Second-Order Version of Tarski’s Geometry of Solids

  Patrick Barlatier, Dapoigny

  55-99

  19.10.2023
• Counterparts, Essences and Quantified Modal Logic

  Tomasz Bigaj

  39-52

  10.01.2022
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  15.03.2007