Browse Title Index


 
Issue Title
 
No 9 (2001) The problem of formalization of some nonstandard semantics Abstract   PDF
Elena D. Smirnova
 
Vol 18, No 1 (2009) The RM paraconsistent refutation system Abstract   PDF
Tomasz Skura
 
Vol 21, No 4 (2012): December The theory of form logic Abstract   PDF
Wolfgang Freitag, Alexandra Zinke
 
Vol 17, No 1-2 (2008) The topology of justification Abstract   PDF
Sergei Artemov, Elena Nogina
 
No 10 (2002) The true bisimulations for 'since' and 'until' Abstract   PDF
Holger Sturm
 
No 6 (1998) Theorem proving with built-in hybrid theories Abstract   PDF
Uwe Petermann
 
Vol 18, No 3-4 (2009) Theory of quantum computation and philosophy of mathematics. Part I Abstract   PDF
Krzysztof Wójtowicz
 
Vol 28, No 1 (2019): March Theory of Quantum Computation and Philosophy of Mathematics. Part II Abstract   PDF
Krzysztof Wójtowicz
 
Vol 23, No 4 (2014): December Three-element non-finitely axiomatizable matrices and term-equivalence Abstract   PDF
Katarzyna Pałasińska
 
Online First Articles Time and Physical Geometry. A Formalization of Putnam’s Proof Abstract   PDF
Jan Czerniawski
 
Vol 24, No 2 (2015): June To found or not to found? That is the question! Abstract   PDF
Davide Bondoni
 
Vol 25, No 2 (2016): June Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015 Abstract   PDF
Mateusz Klonowski
 
No 13 (2004) Tonking a theory of content: an inferentialist rejoinder Abstract   PDF
Jon Cogburn
 
No 5 (1997) Topological aspects of combinatorial possibility Abstract   PDF
Thomas Mormann
 
Vol 22, No 3 (2013): September Topologies and free constructions Abstract   PDF
Anna Bucalo, Giuseppe Rosolini
 
Online First Articles Towards a bridge over two approaches in connexive logic Abstract   PDF
Hitoshi Omori
 
Online First Articles Towards Contingent World Descriptions in Description Logics Abstract   PDF
Farshad Badie
 
Vol 15, No 4 (2006) Towards intuitionistic dynamic logic Abstract   PDF
J. W. Degen, J. M. Werner
 
No 8 (2000) Towards the unification of inconsistency handling mechanisms Abstract   PDF
Diderik Batens
 
Vol 25, No 1 (2016): March Trivial Dialetheism and the Logic of Paradox Abstract   PDF
Jean-Yves Beziau
 
No 3 (1995) Trope sheaves. A topological ontology of tropes Abstract   PDF
Thomas Mormann
 
442 - 462 of 493 Items << < 12 13 14 15 16 17 18 19 20 21 22 23 24 > >> 


Partnerzy platformy czasopism