nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
|
Paoli, Francesco |
|
2008 |
|
2 |
p. 209-233 |
artikel |
2 |
Abstract Logics, Logic Maps, and Logic Homomorphisms
|
Lewitzka, Steffen |
|
2007 |
|
2 |
p. 243-276 |
artikel |
3 |
A Dialectic Contra-Classical Logic
|
Francez, Nissim |
|
|
|
2 |
p. 221-229 |
artikel |
4 |
A General Lindström Theorem for Some Normal Modal Logics
|
Enqvist, Sebastian |
|
2013 |
|
2 |
p. 233-264 |
artikel |
5 |
An Intensional Formalization of Generic Statements
|
Bergier, Hugolin |
|
|
|
2 |
p. 139-160 |
artikel |
6 |
A Note on Logicality of Generalized Quantifiers
|
Perkov, Tin |
|
|
|
2 |
p. 149-152 |
artikel |
7 |
A Refutation Theory
|
Skura, Tomasz |
|
2009 |
|
2 |
p. 293-302 |
artikel |
8 |
A Reinterpretation of the Semilattice Semantics with Applications
|
Weiss, Yale |
|
|
|
2 |
p. 171-191 |
artikel |
9 |
A Shared Framework for Consequence Operations and Abstract Model Theory
|
Wallmann, Christian |
|
2012 |
|
2 |
p. 125-145 |
artikel |
10 |
A Universal Approach to Guarantee Data Privacy
|
Studer, Thomas |
|
2012 |
|
2 |
p. 195-209 |
artikel |
11 |
Beppo Levi’s Analysis of the Paradoxes
|
Bruni, Riccardo |
|
2012 |
|
2 |
p. 211-231 |
artikel |
12 |
Beyond Logical Pluralism and Logical Monism
|
Arazim, Pavel |
|
|
|
2 |
p. 151-174 |
artikel |
13 |
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
|
Fan, Jie |
|
|
|
2 |
p. 123-147 |
artikel |
14 |
Birkhoff Completeness in Institutions
|
Codescu, Mihai |
|
2008 |
|
2 |
p. 277-309 |
artikel |
15 |
Boethius of Dacia (1270s) and Radulphus Brito (1290s) on the Universal Sign ‘Every’
|
Mora-Márquez, Ana María |
|
2015 |
|
2 |
p. 193-211 |
artikel |
16 |
Calculi for Many-Valued Logics
|
Kaminski, Michael |
|
|
|
2 |
p. 193-226 |
artikel |
17 |
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
|
Kutz, Oliver |
|
2010 |
|
2 |
p. 255-333 |
artikel |
18 |
Characteristic Formulas of Partial Heyting Algebras
|
Citkin, Alex |
|
2012 |
|
2 |
p. 167-193 |
artikel |
19 |
Constrained Consequence
|
Britz, Katarina |
|
2011 |
|
2 |
p. 327-350 |
artikel |
20 |
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
|
Miller, David W. |
|
|
|
2 |
p. 279 |
artikel |
21 |
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger
|
Gabbay, Dov M. |
|
2011 |
|
2 |
p. 255-318 |
artikel |
22 |
Eigenlogic in the Spirit of George Boole
|
Toffano, Zeno |
|
|
|
2 |
p. 175-207 |
artikel |
23 |
Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic
|
Brumberg-Chaumont, Julie |
|
2015 |
|
2 |
p. 279 |
artikel |
24 |
Essential Structure of Proofs as a Measure of Complexity
|
Ramos, Jaime |
|
|
|
2 |
p. 209-242 |
artikel |
25 |
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$LT→t for Implicational Ticket Entailment
|
Bimbó, Katalin |
|
2014 |
|
2 |
p. 141-164 |
artikel |
26 |
Fraïssé’s Construction from a Topos-Theoretic Perspective
|
Caramello, Olivia |
|
2014 |
|
2 |
p. 261-281 |
artikel |
27 |
From Single Agent to Multi-Agent via Hypersequents
|
Poggiolesi, Francesca |
|
2012 |
|
2 |
p. 147-166 |
artikel |
28 |
Functorial Duality for Ortholattices and De Morgan Lattices
|
Bimbó, Katalin |
|
2007 |
|
2 |
p. 311-333 |
artikel |
29 |
Generalized Definitional Reflection and the Inversion Principle
|
Schroeder-Heister, Peter |
|
2007 |
|
2 |
p. 355-376 |
artikel |
30 |
Harmony in Multiple-Conclusion Natural-Deduction
|
Francez, Nissim |
|
2014 |
|
2 |
p. 215-259 |
artikel |
31 |
Hintikka and the Functions of Logic
|
Link, Montgomery |
|
2018 |
|
2 |
p. 203-217 |
artikel |
32 |
Hintikka, Free Logician
|
Fontaine, Matthieu |
|
2018 |
|
2 |
p. 179-201 |
artikel |
33 |
Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
|
Pietarinen, Ahti-Veikko |
|
2019 |
|
2 |
p. 137-145 |
artikel |
34 |
Hintikka on the “Kant–Frege View”: A Critical Assessment
|
Mion, Giovanni |
|
2018 |
|
2 |
p. 171-178 |
artikel |
35 |
Human Rationality Challenges Universal Logic
|
Gaines, Brian R. |
|
2010 |
|
2 |
p. 163-205 |
artikel |
36 |
Innovation and Application of Logic: An Interview with Jaakko Hintikka
|
Wang, Lu |
|
2018 |
|
2 |
p. 263-271 |
artikel |
37 |
Interconnection of the Lattices of Extensions of Four Logics
|
Muravitsky, Alexei Y. |
|
2017 |
|
2 |
p. 253-281 |
artikel |
38 |
Introducing H, an Institution-Based Formal Specification and Verification Language
|
Diaconescu, Răzvan |
|
|
|
2 |
p. 259-277 |
artikel |
39 |
Is Logic Necessary?
|
McColm, Gregory |
|
2010 |
|
2 |
p. 241-254 |
artikel |
40 |
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!
|
Schang, Fabien |
|
2017 |
|
2 |
p. 225-251 |
artikel |
41 |
Labelled Tableau Systems for Some Subintuitionistic Logics
|
Ma, Minghui |
|
2018 |
|
2 |
p. 273-288 |
artikel |
42 |
Logic and Natural Selection
|
Peregrin, Jaroslav |
|
2010 |
|
2 |
p. 207-223 |
artikel |
43 |
Minimally Generated Abstract Logics
|
Lewitzka, Steffen |
|
2009 |
|
2 |
p. 219-241 |
artikel |
44 |
Nominalism and Semantics in Abelard and Ockham
|
Hamelin, Guy |
|
2015 |
|
2 |
p. 155-180 |
artikel |
45 |
Ockham’s Calculus of Strict Implication
|
Lenzen, Wolfgang |
|
2015 |
|
2 |
p. 181-191 |
artikel |
46 |
On Combined Connectives
|
Sernadas, A. |
|
2011 |
|
2 |
p. 205-224 |
artikel |
47 |
On Non-Deterministic Quantification
|
Ferguson, Thomas Macaulay |
|
2014 |
|
2 |
p. 165-191 |
artikel |
48 |
On Nonmonotonic Consequence Relations
|
Muravitsky, Alexei |
|
|
|
2 |
p. 227-249 |
artikel |
49 |
On Pairs of Dual Consequence Operations
|
Wybraniec-Skardowska, Urszula |
|
2011 |
|
2 |
p. 177-203 |
artikel |
50 |
On Preserving
|
Payette, Gillman |
|
2007 |
|
2 |
p. 295-310 |
artikel |
51 |
On Refutation Rules
|
Skura, Tomasz |
|
2011 |
|
2 |
p. 249-254 |
artikel |
52 |
On TAE Machines and Their Computational Power
|
Syropoulos, Apostolos |
|
2018 |
|
2 |
p. 165-170 |
artikel |
53 |
On the 3D Visualisation of Logical Relations
|
Smessaert, Hans |
|
2009 |
|
2 |
p. 303-332 |
artikel |
54 |
Paradox, Closure and Indirect Speech Reports
|
Read, Stephen |
|
2015 |
|
2 |
p. 237-251 |
artikel |
55 |
Perfect IFG-Formulas
|
Mann, Allen L. |
|
2008 |
|
2 |
p. 265-275 |
artikel |
56 |
Perspectives on the Logical Study of Language
|
Hintikka, Jaakko |
|
1956 |
|
2 |
p. 151-163 |
artikel |
57 |
Positive Amalgamation
|
Belkasmi, Mohammed |
|
|
|
2 |
p. 243-258 |
artikel |
58 |
Preface: Is Logic Universal?
|
Beziau, Jean-Yves |
|
2010 |
|
2 |
p. 161-162 |
artikel |
59 |
Preface: Medieval Logic
|
Guerizoli, Rodrigo |
|
2015 |
|
2 |
p. 129-131 |
artikel |
60 |
Probability Logics for Reasoning About Quantum Observations
|
Ilić Stepić, Angelina |
|
|
|
2 |
p. 175-219 |
artikel |
61 |
Recovering a Logic from Its Fragments by Meta-Fibring
|
Coniglio, Marcelo Esteban |
|
2007 |
|
2 |
p. 377-416 |
artikel |
62 |
Referential Opacity and Epistemic Logic
|
Chatti, Saloua |
|
2011 |
|
2 |
p. 225-247 |
artikel |
63 |
Revising the Elenchus via Belief Revision
|
Kubyshkina, Ekaterina |
|
|
|
2 |
p. 231-258 |
artikel |
64 |
Russell and His Sources for Non-Classical Logics
|
Anellis, Irving H. |
|
2009 |
|
2 |
p. 153-218 |
artikel |
65 |
“Setting” n-Opposition
|
Pellissier, Régis |
|
2008 |
|
2 |
p. 235-263 |
artikel |
66 |
Some Multi-Conclusion Modal Paralogics
|
McGinnis, Casey |
|
2007 |
|
2 |
p. 335-353 |
artikel |
67 |
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
|
Mouri, Motohiko |
|
2008 |
|
2 |
p. 189-207 |
artikel |
68 |
Structuring the Universe of Universal Logic
|
Vasyukov, Vladimir L. |
|
2007 |
|
2 |
p. 277-294 |
artikel |
69 |
Super Models
|
Hintikka, Jaakko |
|
1983 |
|
2 |
p. 147-150 |
artikel |
70 |
The Decision Problem for Effective Procedures
|
Salmón, Nathan |
|
|
|
2 |
p. 161-174 |
artikel |
71 |
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic
|
Pavlov, Sergey |
|
2011 |
|
2 |
p. 319-325 |
artikel |
72 |
The Meanings of ‘Logic’ in the Thirteenth Century
|
Storck, Alfredo |
|
2015 |
|
2 |
p. 133-154 |
artikel |
73 |
Theory of Completeness for Logical Spaces
|
Gomi, Kensaku |
|
2009 |
|
2 |
p. 243-291 |
artikel |
74 |
The Place of Logic in Reasoning
|
Kayser, Daniel |
|
2010 |
|
2 |
p. 225-239 |
artikel |
75 |
The Semiotics of Spider Diagrams
|
Burton, Jim |
|
2017 |
|
2 |
p. 177-204 |
artikel |
76 |
To Peirce Hintikka’s Thoughts
|
Pietarinen, Ahti-Veikko |
|
2018 |
|
2 |
p. 241-262 |
artikel |
77 |
Topological Representation of Intuitionistic and Distributive Abstract Logics
|
Brunner, Andreas Bernhard Michael |
|
2017 |
|
2 |
p. 153-175 |
artikel |
78 |
Toward a Clarity of the Extreme Value Theorem
|
Katz, Karin U. |
|
2014 |
|
2 |
p. 193-214 |
artikel |
79 |
Translating Non-classical Logics into Classical Logic by Using Hidden Variables
|
Agudelo-Agudelo, Juan C. |
|
2017 |
|
2 |
p. 205-224 |
artikel |
80 |
Universal Logic and Aristotelian Logic: Formality and Essence of Logic
|
Brumberg-Chaumont, Julie |
|
2015 |
|
2 |
p. 253-278 |
artikel |
81 |
Varieties of Rigidity
|
Tanninen, Tuukka |
|
2018 |
|
2 |
p. 219-240 |
artikel |
82 |
What is Identical?
|
Vlasáková, Marta |
|
|
|
2 |
p. 153-170 |
artikel |
83 |
When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents
|
Goubier, Frédéric |
|
2015 |
|
2 |
p. 213-235 |
artikel |