| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert’s $${\varepsilon}$$ε-Terms
|
Pasquali, Fabio
|
|
2016
|
|
4 |
p. 407-418
|
artikel
|
| 2 |
Admissibility in Positive Logics
|
Citkin, Alex
|
|
2017
|
|
4 |
p. 421-437
|
artikel
|
| 3 |
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
|
González, L. J.
|
|
2017
|
|
4 |
p. 439-463
|
artikel
|
| 4 |
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
|
Drago, Antonino
|
|
|
|
4 |
p. 537-552
|
artikel
|
| 5 |
A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos
|
Błaszczyk, Piotr
|
|
2016
|
|
4 |
p. 393-405
|
artikel
|
| 6 |
A Proof-Theoretic Semantics for Exclusion
|
Francez, Nissim
|
|
2017
|
|
4 |
p. 489-505
|
artikel
|
| 7 |
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart
|
Robles, Gemma
|
|
2013
|
|
4 |
p. 507-532
|
artikel
|
| 8 |
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes
|
Méndez, José M.
|
|
2015
|
|
4 |
p. 501-522
|
artikel
|
| 9 |
Axiomatization of Some Basic and Modal Boolean Connexive Logics
|
Klonowski, Mateusz
|
|
|
|
4 |
p. 517-536
|
artikel
|
| 10 |
Bases for Structures and Theories II
|
Ketland, Jeffrey
|
|
|
|
4 |
p. 461-479
|
artikel
|
| 11 |
Brain and Its Universal Logical Model of Multi-Agent Biological Systems
|
Król, Jerzy
|
|
|
|
4 |
p. 671-687
|
artikel
|
| 12 |
Canonical Syllogistic Moods in Traditional Aristotelian Logic
|
Alvarez-Fontecilla, Enrique
|
|
2016
|
|
4 |
p. 517-531
|
artikel
|
| 13 |
Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed
|
Arenhart, Jonas R. Becker
|
|
2017
|
|
4 |
p. 465-487
|
artikel
|
| 14 |
Complementary Proof Nets for Classical Logic
|
Pulcini, Gabriele
|
|
|
|
4 |
p. 411-432
|
artikel
|
| 15 |
Composition of Deductions within the Propositions-As-Types Paradigm
|
Pezlar, Ivo
|
|
|
|
4 |
p. 481-493
|
artikel
|
| 16 |
Constrained Pseudo-Propositional Logic
|
Azizi-Sultan, Ahmad-Saher
|
|
|
|
4 |
p. 523-535
|
artikel
|
| 17 |
Counterpossibles and Normal Defaults in the Filioque Controversy
|
Archambault, Jacob
|
|
|
|
4 |
p. 443-455
|
artikel
|
| 18 |
Encoding Complete Metric Structures by Classical Structures
|
Ackerman, Nathanael Leedom
|
|
|
|
4 |
p. 421-459
|
artikel
|
| 19 |
Equilibrium States in Numerical Argumentation Networks
|
Gabbay, D. M.
|
|
2015
|
|
4 |
p. 411-473
|
artikel
|
| 20 |
Expressivist Perspective on Logicality
|
Arazim, Pavel
|
|
2017
|
|
4 |
p. 409-419
|
artikel
|
| 21 |
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation
|
Skura, Tomasz
|
|
|
|
4 |
p. 433-441
|
artikel
|
| 22 |
From Analogical Proportion to Logical Proportions
|
Prade, Henri
|
|
2013
|
|
4 |
p. 441-505
|
artikel
|
| 23 |
Gödel’s Second Theorem and the Provability of God’s Existence
|
Buzaglo, Meir
|
|
|
|
4 |
p. 541-549
|
artikel
|
| 24 |
Graded Structures of Opposition in Fuzzy Natural Logic
|
Murinová, Petra
|
|
|
|
4 |
p. 495-522
|
artikel
|
| 25 |
Implicational Partial Galois Logics: Relational Semantics
|
Yang, Eunsuk
|
|
|
|
4 |
p. 457-476
|
artikel
|
| 26 |
Implicational Tonoid Logics: Algebraic and Relational Semantics
|
Yang, Eunsuk
|
|
|
|
4 |
p. 435-456
|
artikel
|
| 27 |
Iterated Mixed Strategies and Pascal’s Wager
|
Badici, Emil
|
|
|
|
4 |
p. 487-494
|
artikel
|
| 28 |
Knowability and Other Onto-theological Paradoxes
|
D’Agostini, Franca
|
|
|
|
4 |
p. 577-586
|
artikel
|
| 29 |
k-Provability in PA
|
Santos, Paulo Guilherme
|
|
|
|
4 |
p. 477-516
|
artikel
|
| 30 |
Liberating Paraconsistency from Contradiction
|
Arenhart, Jonas R. Becker
|
|
2015
|
|
4 |
p. 523-544
|
artikel
|
| 31 |
Logic Diagrams, Sacred Geometry and Neural Networks
|
Lemanski, Jens
|
|
|
|
4 |
p. 495-513
|
artikel
|
| 32 |
Logics in Fungal Mycelium Networks
|
Adamatzky, Andrew
|
|
|
|
4 |
p. 655-669
|
artikel
|
| 33 |
Logic, Spatial Algorithms and Visual Reasoning
|
Schumann, Andrew
|
|
|
|
4 |
p. 535-543
|
artikel
|
| 34 |
Mathematics and Theology in the Thought of Nicholas of Cusa
|
Murawski, Roman
|
|
|
|
4 |
p. 477-485
|
artikel
|
| 35 |
Metalanguage and Revelation: Rethinking Theology’s Language and Relevance
|
Vestrucci, Andrea
|
|
|
|
4 |
p. 551-575
|
artikel
|
| 36 |
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
|
Petrukhin, Yaroslav I.
|
|
2017
|
|
4 |
p. 525-532
|
artikel
|
| 37 |
Non-monotonic Logic and the Compatibility of Science and Religion
|
Trepczyński, Marcin
|
|
|
|
4 |
p. 457-466
|
artikel
|
| 38 |
Observation of Autonomous Behavioral Selection in Physarum Plasmodium
|
Shirakawa, Tomohiro
|
|
|
|
4 |
p. 643-653
|
artikel
|
| 39 |
On Consequence and Rejection as Operators
|
Muravitsky, Alexei
|
|
|
|
4 |
p. 443-460
|
artikel
|
| 40 |
On the Logical Geometry of Geometric Angles
|
Smessaert, Hans
|
|
|
|
4 |
p. 581-601
|
artikel
|
| 41 |
Operator Counterparts of Types of Reasoning
|
Wybraniec-Skardowska, Urszula
|
|
|
|
4 |
p. 511-528
|
artikel
|
| 42 |
Pavel Florensky’s Theory of Religious Antinomies
|
Rojek, Paweł
|
|
|
|
4 |
p. 515-540
|
artikel
|
| 43 |
Preface to the Rejection Special Issue
|
Citkin, Alex
|
|
|
|
4 |
p. 405-410
|
artikel
|
| 44 |
Probabilization of Logics: Completeness and Decidability
|
Baltazar, Pedro
|
|
2013
|
|
4 |
p. 403-440
|
artikel
|
| 45 |
Rejection: A Historico-Epistemological View
|
Muravitsky, Alexei
|
|
|
|
4 |
p. 461-482
|
artikel
|
| 46 |
The Grammar of Platonism
|
Slater, Hartley
|
|
2016
|
|
4 |
p. 533-541
|
artikel
|
| 47 |
Theological Discourse and Logic
|
Krajewski, Stanisław
|
|
|
|
4 |
p. 417-423
|
artikel
|
| 48 |
Theory of Semi-Instantiation in Abstract Argumentation
|
Gabbay, D. M.
|
|
2015
|
|
4 |
p. 431-516
|
artikel
|
| 49 |
The Pursuit of an Implication for the Logics L3A and L3B
|
Hernández-Tello, Alejandro
|
|
2017
|
|
4 |
p. 507-524
|
artikel
|
| 50 |
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable
|
Woods, John
|
|
|
|
4 |
p. 399-433
|
artikel
|
| 51 |
The Talmudic Logic Project, Ongoing Since 2008
|
Gabbay, Dov M.
|
|
|
|
4 |
p. 425-442
|
artikel
|
| 52 |
The Universal Theory of First Order Algebras and Various Reducts
|
Valby, Lawrence
|
|
2015
|
|
4 |
p. 475-500
|
artikel
|
| 53 |
Things May Not Be Simple: On Wittgenstein’s Internal Relations
|
Schang, Fabien
|
|
|
|
4 |
p. 621-641
|
artikel
|
| 54 |
Thomas Manlevelt: God in Logic
|
Helm, Alfred van der
|
|
|
|
4 |
p. 467-476
|
artikel
|
| 55 |
Three-Dimensional Affine Spatial Logics
|
Trybus, Adam
|
|
|
|
4 |
p. 603-620
|
artikel
|
| 56 |
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
|
Pawlowski, Pawel
|
|
|
|
4 |
p. 407-420
|
artikel
|
| 57 |
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī
|
Chatti, Saloua
|
|
|
|
4 |
p. 545-580
|
artikel
|
| 58 |
Unified Deductive Systems: An Outline
|
Citkin, Alex
|
|
|
|
4 |
p. 483-509
|
artikel
|
| 59 |
Widersinn in Husserl’s Pure Logic
|
Isaac, Manuel Gustavo
|
|
2015
|
|
4 |
p. 419-430
|
artikel
|
Tijdschrift beschrijving