|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Modern Rigorous Approach to Stratification in NF/NFU |
Adlešić, Tin |
|
16 | 3 |
p. 451-468 |
artikel |
|
| 2 | An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi |
Kamide, Norihiro |
|
16 | 3 |
p. 389-417 |
artikel |
|
| 3 | First-order Logics of Evidence and Truth with Constant and Variable Domains |
Rodrigues, Abilio |
|
16 | 3 |
p. 419-449 |
artikel |
|
| 4 | Frege’s Ontological Diagram Completed |
Makinson, David |
|
16 | 3 |
p. 381-387 |
artikel |
|
| 5 | Maximum Segments as Natural Deduction Images of Some Cuts |
Borisavljević, Mirjana |
|
16 | 3 |
p. 499-533 |
artikel |
|
| 6 | Natural Deduction for Quantum Logic |
Tokuo, K. |
|
16 | 3 |
p. 469-497 |
artikel |
6 gevonden resultaten