Search

Search Results

Found 8 items.

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

Davide Bondoni

217–240

2014-12-01
Contradictions in Multiverse Translation of Paraconsistent Logic daC into Many-Sorted Logic

Julian Mauricio Valdes-Toro

1-37

2025-09-12
Theorem proving with built-in hybrid theories

Uwe Petermann

77-107

1998-11-06
Changing one’s position in a discussion — some adaptive approaches

Liza Verhoeven

277-297

2003-11-23
Ernst Schröder, "Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico"

Walter Carnielli

267-272

2011-11-30
Extended full computation-tree logics for paraconsistent model checking

Norihiro Kamide

251-276

2007-03-15
A Monadic Second-Order Version of Tarski’s Geometry of Solids

Patrick Barlatier, Richard Dapoigny

55-99

2023-10-19
Counterparts, Essences and Quantified Modal Logic

Tomasz Bigaj

39-52

2022-01-10

1 - 8 of 8 items