| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Categorical Logic
|
Aiguier, Marc
|
|
|
|
1 |
p. 23-67
|
artikel
|
| 2 |
A Buchholz Rule for Modal Fixed Point Logics
|
Jäger, Gerhard
|
|
2011
|
|
1 |
p. 1-19
|
artikel
|
| 3 |
A Bunch of Diagrammatic Methods for Syllogistic
|
Sautter, Frank Thomas
|
|
2019
|
|
1 |
p. 21-36
|
artikel
|
| 4 |
A Cube of Opposition for Predicate Logic
|
Nilsson, Jørgen Fischer
|
|
|
|
1 |
p. 103-114
|
artikel
|
| 5 |
A Galois Connection
|
Surma, Stan J.
|
|
2007
|
|
1 |
p. 209-219
|
artikel
|
| 6 |
A Global Glance on Categories in Logic
|
Arndt, Peter
|
|
2007
|
|
1 |
p. 3-39
|
artikel
|
| 7 |
A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion)
|
Desclés, Jean-Pierre
|
|
2017
|
|
1 |
p. 105-119
|
artikel
|
| 8 |
A New Modal Lindström Theorem
|
Benthem, Johan van
|
|
2007
|
|
1 |
p. 125-138
|
artikel
|
| 9 |
Applications of Squares of Oppositions and Their Generalizations in Philosophical Analysis
|
Woleński, Jan
|
|
2008
|
|
1 |
p. 13-29
|
artikel
|
| 10 |
Aristotle’s Cubes and Consequential Implication
|
Pizzi, Claudio
|
|
2008
|
|
1 |
p. 143-153
|
artikel
|
| 11 |
Aristotle’s Non-Logical Works and the Square of Oppositions in Semiotics
|
Bonfiglioli, Stefania
|
|
2008
|
|
1 |
p. 107-126
|
artikel
|
| 12 |
A Short Note on Essentially Σ1 Sentences
|
Montagna, Franco
|
|
2012
|
|
1 |
p. 103-111
|
artikel
|
| 13 |
A Unified Semantics for a Family of Modal Logics with Propositional Constants
|
Pascucci, Matteo
|
|
2015
|
|
1 |
p. 45-66
|
artikel
|
| 14 |
A Universal Logic Approach to Adaptive Logics
|
Batens, Diderik
|
|
2007
|
|
1 |
p. 221-242
|
artikel
|
| 15 |
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics L3AG and L3BG
|
Hernández-Tello, Alejandro
|
|
|
|
1 |
p. 87-121
|
artikel
|
| 16 |
Axiomatising the Prior Future in Predicate Logic
|
Cresswell, Max
|
|
2012
|
|
1 |
p. 87-101
|
artikel
|
| 17 |
Beyond Rasiowan Systems: Unital Deductive Systems
|
Muravitsky, Alexei Y.
|
|
2014
|
|
1 |
p. 83-102
|
artikel
|
| 18 |
Characteristic Inference Rules
|
Citkin, Alex
|
|
2015
|
|
1 |
p. 27-46
|
artikel
|
| 19 |
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
|
Benzmüller, C.
|
|
2017
|
|
1 |
p. 139-151
|
artikel
|
| 20 |
Contrary-to-Duty Reasoning: A Categorical Approach
|
Peterson, Clayton
|
|
2015
|
|
1 |
p. 47-92
|
artikel
|
| 21 |
Correction to: Sequent Systems for Negative Modalities
|
Lahav, Ori
|
|
2017
|
|
1 |
p. 135
|
artikel
|
| 22 |
Correspondence Analysis for Some Fragments of Classical Propositional Logic
|
Petrukhin, Yaroslav
|
|
|
|
1 |
p. 67-85
|
artikel
|
| 23 |
Curry’s Formalism as Structuralism
|
Seldin, Jonathan P.
|
|
2011
|
|
1 |
p. 91-100
|
artikel
|
| 24 |
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics
|
Avron, Arnon
|
|
2007
|
|
1 |
p. 41-70
|
artikel
|
| 25 |
Diagonalization in Double Frames
|
Wiśniewski, Andrzej
|
|
2010
|
|
1 |
p. 31-39
|
artikel
|
| 26 |
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules
|
Pynko, Alexej P.
|
|
2009
|
|
1 |
p. 59-94
|
artikel
|
| 27 |
Duality Results for (Co)Residuated Lattices
|
Hartonas, Chrysafis
|
|
2018
|
|
1 |
p. 77-99
|
artikel
|
| 28 |
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions
|
Makarov, Ilya
|
|
2015
|
|
1 |
p. 1-26
|
artikel
|
| 29 |
Existential Import, Aristotelian Logic, and its Generalizations
|
Strößner, Corina
|
|
|
|
1 |
p. 69-102
|
artikel
|
| 30 |
From Fibring to Cryptofibring. A Solution to the Collapsing Problem
|
Caleiro, Carlos
|
|
2007
|
|
1 |
p. 71-92
|
artikel
|
| 31 |
From Logic in Islam to Islamic Logic
|
Akrami, Musa
|
|
2017
|
|
1 |
p. 61-83
|
artikel
|
| 32 |
Games and Lindström Theorems
|
Liao, Cheng
|
|
|
|
1 |
p. 1-21
|
artikel
|
| 33 |
General Logic-Systems and Finite Consequence Operators
|
Herrmann, Robert A.
|
|
2007
|
|
1 |
p. 201-208
|
artikel
|
| 34 |
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework
|
Kamide, Norihiro
|
|
2018
|
|
1 |
p. 37-63
|
artikel
|
| 35 |
Hypothetical Logic of Proofs
|
Bonelli, Eduardo
|
|
2014
|
|
1 |
p. 103-140
|
artikel
|
| 36 |
Inconsistency-Adaptive Dialogical Logic
|
Beirlaen, Mathieu
|
|
2016
|
|
1 |
p. 99-134
|
artikel
|
| 37 |
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility
|
Odintsov, Sergei
|
|
2015
|
|
1 |
p. 93-120
|
artikel
|
| 38 |
Information Algebras and Consequence Operators
|
Kohlas, Jürg
|
|
2007
|
|
1 |
p. 139-165
|
artikel
|
| 39 |
John Buridan on the Bearer of Logical Relations
|
Perini-Santos, Ernesto
|
|
2008
|
|
1 |
p. 59-70
|
artikel
|
| 40 |
Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’
|
McLaughlin, Peter
|
|
|
|
1 |
p. 51-67
|
artikel
|
| 41 |
Karma Theory, Determinism, Fatalism and Freedom of Will
|
Silvestre, Ricardo Sousa
|
|
2016
|
|
1 |
p. 35-60
|
artikel
|
| 42 |
Leibniz’s Ontological Proof of the Existence of God and the Problem of »Impossible Objects«
|
Lenzen, Wolfgang
|
|
2017
|
|
1 |
p. 85-104
|
artikel
|
| 43 |
Lindenbaum-Type Logical Structures
|
Roy, Sayantan
|
|
|
|
1 |
p. 69-102
|
artikel
|
| 44 |
Logical Consequence in Avicenna’s Theory
|
Chatti, Saloua
|
|
2018
|
|
1 |
p. 101-133
|
artikel
|
| 45 |
Logical Extensions of Aristotle’s Square
|
Luzeaux, Dominique
|
|
2008
|
|
1 |
p. 167-187
|
artikel
|
| 46 |
Logic and Religion
|
Beziau, Jean-Yves
|
|
2017
|
|
1 |
p. 1-12
|
artikel
|
| 47 |
Logic of Determination of Objects (LDO): How to Articulate “Extension” with “Intension” and “Objects” with “Concepts”
|
Desclés, Jean-Pierre
|
|
2011
|
|
1 |
p. 75-89
|
artikel
|
| 48 |
Many-Place Sequent Calculi for Finitely-Valued Logics
|
Pynko, Alexej P.
|
|
2010
|
|
1 |
p. 41-66
|
artikel
|
| 49 |
Modal Extensions of Sub-classical Logics for Recovering Classical Logic
|
Coniglio, Marcelo E.
|
|
2013
|
|
1 |
p. 71-86
|
artikel
|
| 50 |
Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties
|
Chesñevar, Carlos Iván
|
|
2007
|
|
1 |
p. 93-124
|
artikel
|
| 51 |
Monotonic and Non-monotonic Embeddings of Anselm’s Proof
|
Archambault, Jacob
|
|
2017
|
|
1 |
p. 121-138
|
artikel
|
| 52 |
Multimodal Incompleteness Under Weak Negations
|
Bueno-Soler, Juliana
|
|
2012
|
|
1 |
p. 21-31
|
artikel
|
| 53 |
N.A. Vasil’ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic
|
Maximov, D. Y.
|
|
2015
|
|
1 |
p. 21-43
|
artikel
|
| 54 |
Negation and Paraconsistent Logics
|
Dutta, Soma
|
|
2011
|
|
1 |
p. 165-176
|
artikel
|
| 55 |
Negative Predication and Distinctness
|
Więckowski, Bartosz
|
|
|
|
1 |
p. 103-138
|
artikel
|
| 56 |
New Dimensions on Translations Between Logics
|
Carnielli, Walter A.
|
|
2009
|
|
1 |
p. 1-18
|
artikel
|
| 57 |
Non-Classical Stems from Classical: N. A. Vasiliev’s Approach to Logic and his Reassessment of the Square of Opposition
|
Bazhanov, Valentin A.
|
|
2008
|
|
1 |
p. 71-76
|
artikel
|
| 58 |
Non-Traditional Squares of Predication and Quantification
|
Staschok, Mireille
|
|
2008
|
|
1 |
p. 77-85
|
artikel
|
| 59 |
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics
|
Grattan-Guinness, I.
|
|
2011
|
|
1 |
p. 21-73
|
artikel
|
| 60 |
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics
|
Francez, Nissim
|
|
2015
|
|
1 |
p. 121-127
|
artikel
|
| 61 |
On a New Idiom in the Study of Entailment
|
Jennings, R. E.
|
|
2011
|
|
1 |
p. 101-113
|
artikel
|
| 62 |
On the Historical Transformations of the Square of Opposition as Semiotic Object
|
Vandoulakis, Ioannis M.
|
|
|
|
1 |
p. 7-26
|
artikel
|
| 63 |
On the Meaning of Connectives (Apropos of a Non-Necessitarianist Challenge)
|
Estrada-González, Luis
|
|
2011
|
|
1 |
p. 115-126
|
artikel
|
| 64 |
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
|
Caleiro, Carlos
|
|
2012
|
|
1 |
p. 33-69
|
artikel
|
| 65 |
Ploucquet’s “Refutation” of the Traditional Square of Opposition
|
Lenzen, Wolfgang
|
|
2008
|
|
1 |
p. 43-58
|
artikel
|
| 66 |
Preface
|
Beziau, Jean-Yves
|
|
2008
|
|
1 |
p. 1
|
artikel
|
| 67 |
Preface
|
Béziau, Jean-Yves
|
|
2007
|
|
1 |
p. 1-2
|
artikel
|
| 68 |
Proofs and Countermodels in Non-Classical Logics
|
Negri, Sara
|
|
2014
|
|
1 |
p. 25-60
|
artikel
|
| 69 |
Quantified Multimodal Logics in Simple Type Theory
|
Benzmüller, Christoph
|
|
2012
|
|
1 |
p. 7-20
|
artikel
|
| 70 |
Quantified Temporal Alethic Boulesic Doxastic Logic
|
Rönnedal, Daniel
|
|
|
|
1 |
p. 1-65
|
artikel
|
| 71 |
Relative Contingency and Bimodality
|
Pizzi, Claudio
|
|
2013
|
|
1 |
p. 113-123
|
artikel
|
| 72 |
Some General Results About Proof Normalization
|
Aiguier, Marc
|
|
2010
|
|
1 |
p. 1-29
|
artikel
|
| 73 |
Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
|
Miller, David W.
|
|
2007
|
|
1 |
p. 183-199
|
artikel
|
| 74 |
Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
|
Miller, David W.
|
|
|
|
1 |
p. 183-199
|
artikel
|
| 75 |
Special Issue on Multimodal Logics: A Preface
|
Carnielli, Walter
|
|
2012
|
|
1 |
p. 1-5
|
artikel
|
| 76 |
Structuralist Logic: Implications, Inferences, and Consequences
|
Koslow, Arnold
|
|
2007
|
|
1 |
p. 167-181
|
artikel
|
| 77 |
Structural Rules for Multi-valued Logics
|
Francez, Nissim
|
|
2019
|
|
1 |
p. 65-75
|
artikel
|
| 78 |
Structures of Opposition and Comparisons: Boolean and Gradual Cases
|
Dubois, Didier
|
|
|
|
1 |
p. 115-149
|
artikel
|
| 79 |
Structuring Co-constructive Logic for Proofs and Refutations
|
Trafford, James
|
|
2016
|
|
1 |
p. 67-97
|
artikel
|
| 80 |
1st World Logic Day: 14 January 2019
|
Beziau, Jean-Yves
|
|
2019
|
|
1 |
p. 1-20
|
artikel
|
| 81 |
Swyneshed, Aristotle and the Rule of Contradictory Pairs
|
Read, Stephen
|
|
|
|
1 |
p. 27-50
|
artikel
|
| 82 |
Symmetric Generalized Galois Logics
|
Bimbó, Katalin
|
|
2009
|
|
1 |
p. 125-152
|
artikel
|
| 83 |
The Classical Constraint on Relevance
|
Avron, Arnon
|
|
2013
|
|
1 |
p. 1-15
|
artikel
|
| 84 |
The Concept of Relevance and the Logic Diagram Tradition
|
Dejnožka, Jan
|
|
2010
|
|
1 |
p. 67-135
|
artikel
|
| 85 |
The Cretan Square
|
Beziau, Jean-Yves
|
|
|
|
1 |
p. 1-5
|
artikel
|
| 86 |
The Future of Logic: Foundation-Independence
|
Rabe, Florian
|
|
2015
|
|
1 |
p. 1-20
|
artikel
|
| 87 |
The Geometry of Standard Deontic Logic
|
Moretti, Alessio
|
|
2009
|
|
1 |
p. 19-57
|
artikel
|
| 88 |
The Method of Scientific Discovery in Peirce’s Philosophy: Deduction, Induction, and Abduction
|
Rodrigues, Cassiano Terra
|
|
2011
|
|
1 |
p. 127-164
|
artikel
|
| 89 |
The Square of Opposition and the Four Fundamental Choices
|
Drago, Antonino
|
|
2008
|
|
1 |
p. 127-141
|
artikel
|
| 90 |
The Square of Opposition and the Paradoxes
|
Marques, Teresa
|
|
2008
|
|
1 |
p. 87-105
|
artikel
|
| 91 |
Things That are Right with the Traditional Square of Opposition
|
Parsons, Terence
|
|
2008
|
|
1 |
p. 3-11
|
artikel
|
| 92 |
Thinking Negation in Early Hinduism and Classical Indian Philosophy
|
Bilimoria, Purushottama
|
|
2017
|
|
1 |
p. 13-33
|
artikel
|
| 93 |
Towards a More General Concept of Inference
|
Pezlar, Ivo
|
|
2014
|
|
1 |
p. 61-81
|
artikel
|
| 94 |
Two Semantical Approaches to Paraconsistent Modalities
|
Bueno-Soler, Juliana
|
|
2010
|
|
1 |
p. 137-160
|
artikel
|
| 95 |
Universal Properties of Łukasiewicz Consequence
|
Mundici, Daniele
|
|
2013
|
|
1 |
p. 17-24
|
artikel
|
| 96 |
Visualizations of the Square of Opposition
|
Bernhard, Peter
|
|
2008
|
|
1 |
p. 31-41
|
artikel
|
| 97 |
Weakened Semantics and the Traditional Square of Opposition
|
Estrada-González, Luis
|
|
2008
|
|
1 |
p. 155-165
|
artikel
|
| 98 |
What is a Logic Translation?
|
Mossakowski, Till
|
|
2009
|
|
1 |
p. 95-124
|
artikel
|
Tijdschrift beschrijving