nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings
|
Srinivasan, Bama |
|
|
16 |
1-2 |
p. 27-55 |
artikel |
2 |
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
|
Martínez-Ordaz, María del Rosario |
|
|
16 |
1-2 |
p. 335-354 |
artikel |
3 |
Analytics vs. Elements
|
Dimitracopoulos, Costas |
|
|
16 |
1-2 |
p. 237-252 |
artikel |
4 |
An Unexpected Boolean Connective
|
Marcelino, Sérgio |
|
|
16 |
1-2 |
p. 85-103 |
artikel |
5 |
A Pragmatic Dissolution of Curry’s Paradox
|
Mora Ramirez, Rafael Félix |
|
|
16 |
1-2 |
p. 149-175 |
artikel |
6 |
A Probabilistic Logic Between LPP1 and LPP2
|
Dautović, Šejla |
|
|
16 |
1-2 |
p. 323-333 |
artikel |
7 |
A Universal Algebraic Set Theory Built on Mereology with Applications
|
Drugus, Ioachim |
|
|
16 |
1-2 |
p. 253-283 |
artikel |
8 |
Completeness: From Husserl to Carnap
|
Aranda, Víctor |
|
|
16 |
1-2 |
p. 57-83 |
artikel |
9 |
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
|
Russo, Ciro |
|
|
16 |
1-2 |
p. 355-380 |
artikel |
10 |
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
|
Fermüller, Christian |
|
|
16 |
1-2 |
p. 221-235 |
artikel |
11 |
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus
|
Šikić, Zvonimir |
|
|
16 |
1-2 |
p. 11-26 |
artikel |
12 |
Modal Definability: Two Commuting Equivalence Relations
|
Rumenova, Yana |
|
|
16 |
1-2 |
p. 177-194 |
artikel |
13 |
On Induction Principles for Partial Orders
|
Ivanov, Ievgen |
|
|
16 |
1-2 |
p. 105-147 |
artikel |
14 |
On the Universality of Atomic and Molecular Logics via Protologics
|
Aucher, Guillaume |
|
|
16 |
1-2 |
p. 285-322 |
artikel |
15 |
Tableaux for Logics of Content Relationship and Set-Assignment Semantics
|
Jarmużek, Tomasz |
|
|
16 |
1-2 |
p. 195-219 |
artikel |