-
1
-
2
-
3
How did Avicenna understand the Barcan formulas?
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
4
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
Veröffentlicht in The review of symbolic logic
VolltextArtikel -
5
-
6
-
7
-
8
Two Early Arabic Applications of Model-Theoretic Consequence
Veröffentlicht in Logica universalis
VolltextArtikel -
9
-
10
Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations
Veröffentlicht in Philosophy & technology
VolltextArtikel -
11
-
12
Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska
Veröffentlicht in Argumentation
VolltextArtikel -
13
-
14
Traditional Logic, Modern Logic and Natural Language
Veröffentlicht in Journal of philosophical logic
VolltextArtikel -
15
-
16
Formal Features of Compositionality
Veröffentlicht in Journal of logic, language, and information
VolltextArtikel -
17
Teoría de Modelos o la venganza de Peacock
Veröffentlicht in Azafea : estudios de historia de la filosofía hispánica
VolltextArtikel -
18
Editors' foreword for JCSS WoLLIC 2008
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
19
Relative categoricity in abelian groups II
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
20
Dependence of variables construed as an atomic formula
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel