| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Canonical Model for Constant Domain Basic First-Order Logic
|
Middleton, Ben
|
|
|
|
6 |
p. 1307-1323
|
artikel
|
| 2 |
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
|
Millson, Jared
|
|
2018
|
|
6 |
p. 1279-1312
|
artikel
|
| 3 |
A Few Notes on Quantum B-algebras
|
Han, Shengwei
|
|
|
|
6 |
p. 1423-1440
|
artikel
|
| 4 |
A Game Semantics for System P
|
Marti, J.
|
|
2016
|
|
6 |
p. 1119-1144
|
artikel
|
| 5 |
A General Framework for FDE-Based Modal Logics
|
Drobyshevich, Sergey
|
|
|
|
6 |
p. 1281-1306
|
artikel
|
| 6 |
A Hierarchy of Weak Double Negations
|
Kamide, Norihiro
|
|
2013
|
|
6 |
p. 1277-1297
|
artikel
|
| 7 |
A Logical Analysis of Monty Hall and Sleeping Beauty
|
Mann, Allen L.
|
|
2018
|
|
6 |
p. 1123-1162
|
artikel
|
| 8 |
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
|
Kamide, Norihiro
|
|
|
|
6 |
p. 1241-1271
|
artikel
|
| 9 |
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
|
Seki, Takahiro
|
|
2012
|
|
6 |
p. 1149-1174
|
artikel
|
| 10 |
An Algebraic View of Super-Belnap Logics
|
Albuquerque, Hugo
|
|
2017
|
|
6 |
p. 1051-1086
|
artikel
|
| 11 |
A New Proof of the McKinsey–Tarski Theorem
|
Bezhanishvili, G.
|
|
2018
|
|
6 |
p. 1291-1311
|
artikel
|
| 12 |
A New View of Effects in a Hilbert Space
|
Giuntini, Roberto
|
|
2016
|
|
6 |
p. 1145-1177
|
artikel
|
| 13 |
A Pretabular Classical Relevance Logic
|
Galminas, Lisa
|
|
2012
|
|
6 |
p. 1211-1221
|
artikel
|
| 14 |
Are Logical Languages Compositional?
|
Kracht, Marcus
|
|
2013
|
|
6 |
p. 1319-1340
|
artikel
|
| 15 |
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$Σ2 Numerations
|
Kurahashi, Taishi
|
|
2018
|
|
6 |
p. 1181-1196
|
artikel
|
| 16 |
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
|
Gruszczyński, Rafał
|
|
2018
|
|
6 |
p. 1197-1238
|
artikel
|
| 17 |
A Survey of Nonstandard Sequent Calculi
|
Indrzejczak, Andrzej
|
|
2014
|
|
6 |
p. 1295-1322
|
artikel
|
| 18 |
Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$D2
|
Omori, Hitoshi
|
|
2018
|
|
6 |
p. 1163-1180
|
artikel
|
| 19 |
Bayesian Belief Revision Based on Agent’s Criteria
|
Yuan, Yongfeng
|
|
|
|
6 |
p. 1311-1346
|
artikel
|
| 20 |
Bi-facial Truth: a Case for Generalized Truth Values
|
Zaitsev, Dmitry
|
|
2013
|
|
6 |
p. 1299-1318
|
artikel
|
| 21 |
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types
|
Rezuş, Adrian
|
|
2015
|
|
6 |
p. 1319-1326
|
artikel
|
| 22 |
Book Review: Jean Buridan, Treatise on Consequences
|
Uckelman, Sara L.
|
|
2016
|
|
6 |
p. 1319-1323
|
artikel
|
| 23 |
Book Reviews
|
Sitek, Grzegorz
|
|
|
|
6 |
p. 1463-1466
|
artikel
|
| 24 |
Bunched Logics Displayed
|
Brotherston, James
|
|
2012
|
|
6 |
p. 1223-1254
|
artikel
|
| 25 |
Categorical Equivalence Between $$\varvec{PMV}_{\varvec{f}}$$PMVf-Product Algebras and Semi-Low $$\varvec{f}_{\varvec{u}}$$fu-Rings
|
Cruz, Lilian J.
|
|
2018
|
|
6 |
p. 1135-1158
|
artikel
|
| 26 |
Categoricity Spectra for Polymodal Algebras
|
Bazhenov, Nikolay
|
|
2016
|
|
6 |
p. 1083-1097
|
artikel
|
| 27 |
Cofinal Stable Logics
|
Bezhanishvili, Guram
|
|
2016
|
|
6 |
p. 1287-1317
|
artikel
|
| 28 |
Completeness in Equational Hybrid Propositional Type Theory
|
Manzano, Maria
|
|
2018
|
|
6 |
p. 1159-1198
|
artikel
|
| 29 |
Compositional Z: Confluence Proofs for Permutative Conversion
|
Nakazawa, Koji
|
|
2016
|
|
6 |
p. 1205-1224
|
artikel
|
| 30 |
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format
|
Odintsov, Sergei P.
|
|
2013
|
|
6 |
p. 1237-1262
|
artikel
|
| 31 |
Constructing Natural Extensions of Propositional Logics
|
Přenosil, Adam
|
|
2016
|
|
6 |
p. 1179-1190
|
artikel
|
| 32 |
Correction to: A Modal View on Resource-Bounded Propositional Logics
|
Pardo, Pere
|
|
|
|
6 |
p. 1537-1538
|
artikel
|
| 33 |
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
|
Zhao, Zhiguang
|
|
|
|
6 |
p. 1057-1082
|
artikel
|
| 34 |
Curry–Howard–Lambek Correspondence for Intuitionistic Belief
|
Perini Brogi, Cosimo
|
|
|
|
6 |
p. 1441-1461
|
artikel
|
| 35 |
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
|
Přenosil, Adam
|
|
2017
|
|
6 |
p. 1255-1289
|
artikel
|
| 36 |
Cut-Elimination: Syntax and Semantics
|
Baaz, M.
|
|
2014
|
|
6 |
p. 1217-1244
|
artikel
|
| 37 |
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
|
Figallo, Martín
|
|
|
|
6 |
p. 1347-1373
|
artikel
|
| 38 |
David Marker, Lectures on Infinitary Model Theory
|
Normann, Dag
|
|
2018
|
|
6 |
p. 1319-1323
|
artikel
|
| 39 |
Decidability of Logics Based on an Indeterministic Metric Tense Logic
|
Zhang, Yan
|
|
2015
|
|
6 |
p. 1123-1162
|
artikel
|
| 40 |
Definable Operators on Stable Set Lattices
|
Goldblatt, Robert
|
|
|
|
6 |
p. 1263-1280
|
artikel
|
| 41 |
Disentangling FDE-Based Paraconsistent Modal Logics
|
Odintsov, Sergei P.
|
|
2017
|
|
6 |
p. 1221-1254
|
artikel
|
| 42 |
Disjunction and Existence Properties in Inquisitive First-Order Logic
|
Grilletti, Gianluca
|
|
2018
|
|
6 |
p. 1199-1234
|
artikel
|
| 43 |
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations
|
Nowak, Marek
|
|
|
|
6 |
p. 1125-1143
|
artikel
|
| 44 |
Dual Erotetic Calculi and the Minimal $${\mathsf{LFI}}$$LFI
|
Chlebowski, Szymon
|
|
2015
|
|
6 |
p. 1245-1278
|
artikel
|
| 45 |
Duality Theory and Skeleta for Semisimple MV-Algebras
|
Di Nola, Antonio
|
|
2018
|
|
6 |
p. 1239-1260
|
artikel
|
| 46 |
Equality Algebras
|
Jenei, Sándor
|
|
2012
|
|
6 |
p. 1201-1209
|
artikel
|
| 47 |
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL
|
Bianchi, Matteo
|
|
2015
|
|
6 |
p. 1183
|
artikel
|
| 48 |
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
|
Lávička, Tomáš
|
|
2017
|
|
6 |
p. 1065-1095
|
artikel
|
| 49 |
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
|
Goudsmit, Jeroen P.
|
|
2016
|
|
6 |
p. 1191-1204
|
artikel
|
| 50 |
First-Degree Entailment and its Relatives
|
Shramko, Yaroslav
|
|
2017
|
|
6 |
p. 1291-1317
|
artikel
|
| 51 |
First-Order Logic in the Medvedev Lattice
|
Kuyper, Rutger
|
|
2015
|
|
6 |
p. 1185-1224
|
artikel
|
| 52 |
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3
|
Xu, Ming
|
|
|
|
6 |
p. 899-946
|
artikel
|
| 53 |
Four-Valued Paradefinite Logics
|
Arieli, Ofer
|
|
2017
|
|
6 |
p. 1087-1122
|
artikel
|
| 54 |
Free Quantified Epistemic Logics
|
Corsi, Giovanna
|
|
2013
|
|
6 |
p. 1159-1183
|
artikel
|
| 55 |
From Axiomatic Logic to Natural Deduction
|
Plato, Jan von
|
|
2014
|
|
6 |
p. 1167-1184
|
artikel
|
| 56 |
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
|
Hazen, Allen P.
|
|
2014
|
|
6 |
p. 1103-1142
|
artikel
|
| 57 |
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
|
Castaño, Diego
|
|
2016
|
|
6 |
p. 1245-1265
|
artikel
|
| 58 |
Holger Andreas and Peter Verdée (eds.), Logical Studies of ParaconsistentReasoning in Science and Mathematics
|
Priest, Graham
|
|
2018
|
|
6 |
p. 1313-1318
|
artikel
|
| 59 |
Hyperintensionality and Fine-Grained Semantics
|
Parol, Aleksander
|
|
|
|
6 |
p. 1083-1087
|
artikel
|
| 60 |
Hypersequent and Display Calculi – a Unified Perspective
|
Ciabattoni, Agata
|
|
2014
|
|
6 |
p. 1245-1294
|
artikel
|
| 61 |
Indefinite Extensibility—Dialetheic Style
|
Priest, Graham
|
|
2013
|
|
6 |
p. 1263-1275
|
artikel
|
| 62 |
Indistinguishability, Choices, and Logics of Agency
|
Zanardo, Alberto
|
|
2013
|
|
6 |
p. 1215-1236
|
artikel
|
| 63 |
Interpolation Methods for Dunn Logics and Their Extensions
|
Wintein, Stefan
|
|
2017
|
|
6 |
p. 1319-1347
|
artikel
|
| 64 |
Introduction
|
Indrzejczak, Andrzej
|
|
2014
|
|
6 |
p. 1091-1094
|
artikel
|
| 65 |
Jaśkowski’s Universally Free Logic
|
Bencivenga, Ermanno
|
|
2014
|
|
6 |
p. 1095-1102
|
artikel
|
| 66 |
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
|
Kamide, Norihiro
|
|
2017
|
|
6 |
p. 1193-1219
|
artikel
|
| 67 |
Lewis Dichotomies in Many-Valued Logics
|
Bova, Simone
|
|
2012
|
|
6 |
p. 1271-1290
|
artikel
|
| 68 |
Logical Connectives on Lattice Effect Algebras
|
Foulis, D. J.
|
|
2012
|
|
6 |
p. 1291-1315
|
artikel
|
| 69 |
Logics of Order and Related Notions
|
Czelakowski, Janusz
|
|
|
|
6 |
p. 1417-1464
|
artikel
|
| 70 |
Loop-Check Specification for a Sequent Calculus of Temporal Logic
|
Alonderis, Romas
|
|
|
|
6 |
p. 1507-1536
|
artikel
|
| 71 |
Metacompleteness of Substructural Logics
|
Seki, Takahiro
|
|
2012
|
|
6 |
p. 1175-1199
|
artikel
|
| 72 |
Minimal Varieties of Representable Commutative Residuated Lattices
|
Horčík, Rostislav
|
|
2012
|
|
6 |
p. 1063-1078
|
artikel
|
| 73 |
Modality and Contextuality in Topos Quantum Theory
|
Eva, Benjamin
|
|
2016
|
|
6 |
p. 1099-1118
|
artikel
|
| 74 |
Natural Deduction Systems for Intuitionistic Logic with Identity
|
Chlebowski, Szymon
|
|
|
|
6 |
p. 1381-1415
|
artikel
|
| 75 |
Negational Fragment of Intuitionistic Control Logic
|
Glenszczyk, Anna
|
|
2015
|
|
6 |
p. 1101-1121
|
artikel
|
| 76 |
Neighbourhood Semantics for FDE-Based Modal Logics
|
Drobyshevich, S.
|
|
|
|
6 |
p. 1273-1309
|
artikel
|
| 77 |
Normal Proofs, Cut Free Derivations and Structural Rules
|
Restall, Greg
|
|
2014
|
|
6 |
p. 1143-1166
|
artikel
|
| 78 |
Notes on Leitgeb’s What Truth Depends on
|
Rivello, Edoardo
|
|
|
|
6 |
p. 1235-1262
|
artikel
|
| 79 |
On Birkhoff’s Common Abstraction Problem
|
Paoli, F.
|
|
2012
|
|
6 |
p. 1079-1105
|
artikel
|
| 80 |
On Heyting Algebras with Negative Tense Operators
|
Almiñana, Federico G.
|
|
|
|
6 |
p. 1015-1036
|
artikel
|
| 81 |
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem
|
Nakamura, Yoshiki
|
|
|
|
6 |
p. 1413-1422
|
artikel
|
| 82 |
On Relative Principal Congruences in Term Quasivarieties
|
San Martín, Hernán Javier
|
|
|
|
6 |
p. 1465-1491
|
artikel
|
| 83 |
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
|
Castiglioni, José L.
|
|
2012
|
|
6 |
p. 1255-1269
|
artikel
|
| 84 |
On Tarski’s Axiomatization of Mereology
|
Tennant, Neil
|
|
2018
|
|
6 |
p. 1089-1102
|
artikel
|
| 85 |
On the Disjunctive Markov Principle
|
Kohlenbach, Ulrich
|
|
2015
|
|
6 |
p. 1313-1317
|
artikel
|
| 86 |
On the Proof Theory of Infinitary Modal Logic
|
Tesi, Matteo
|
|
|
|
6 |
p. 1349-1380
|
artikel
|
| 87 |
Paraconsistent Double Negations as Classical and Intuitionistic Negations
|
Kamide, Norihiro
|
|
2017
|
|
6 |
p. 1167-1191
|
artikel
|
| 88 |
Paraconsistent Logic, Evidence, and Justification
|
Fitting, Melvin
|
|
2017
|
|
6 |
p. 1149-1166
|
artikel
|
| 89 |
Periodicity and Reflexivity in Revision Sequences
|
Rivello, Edoardo
|
|
2015
|
|
6 |
p. 1279-1302
|
artikel
|
| 90 |
Preface
|
Wansing, Heinrich
|
|
2013
|
|
6 |
p. 1155-1157
|
artikel
|
| 91 |
Preface
|
Galatos, Nikolaos
|
|
2012
|
|
6 |
p. 1059-1062
|
artikel
|
| 92 |
Pure Modal Logic of Names and Tableau Systems
|
Pietruszczak, Andrzej
|
|
2018
|
|
6 |
p. 1261-1289
|
artikel
|
| 93 |
Reasoning Continuously: A Formal Construction of Continuous Proofs
|
Brunet, T. D. P.
|
|
|
|
6 |
p. 1145-1160
|
artikel
|
| 94 |
Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$λρ-calculus
|
Fujita, Ken-etsu
|
|
2015
|
|
6 |
p. 1225-1244
|
artikel
|
| 95 |
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
|
Kamide, Norihiro
|
|
|
|
6 |
p. 979-1014
|
artikel
|
| 96 |
Residuated Structures and Orthomodular Lattices
|
Fazio, D.
|
|
|
|
6 |
p. 1201-1239
|
artikel
|
| 97 |
Reusing Topological Nexttime Logic
|
Heinemann, Bernhard
|
|
|
|
6 |
p. 1207-1234
|
artikel
|
| 98 |
Revocable Belief Revision
|
Ditmarsch, Hans van
|
|
2013
|
|
6 |
p. 1185-1214
|
artikel
|
| 99 |
Rivals to Belnap–Dunn Logic on Interlaced Trilattices
|
Ferguson, Thomas M.
|
|
2016
|
|
6 |
p. 1123-1148
|
artikel
|
| 100 |
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator
|
Takamura, Hiroki
|
|
2012
|
|
6 |
p. 1137-1148
|
artikel
|
| 101 |
Systems for Non-Reflexive Consequence
|
Nicolai, Carlo
|
|
|
|
6 |
p. 947-977
|
artikel
|
| 102 |
The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property
|
Fang, Jie
|
|
2018
|
|
6 |
p. 1261-1277
|
artikel
|
| 103 |
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
|
Schroeder-Heister, Peter
|
|
2014
|
|
6 |
p. 1185-1216
|
artikel
|
| 104 |
The Calculus of Natural Calculation
|
Gazzari, René
|
|
|
|
6 |
p. 1375-1411
|
artikel
|
| 105 |
The Elimination of Direct Self-reference
|
Zeng, Qianli
|
|
|
|
6 |
p. 1037-1055
|
artikel
|
| 106 |
The Faithfulness of Fat: A Proof-Theoretic Proof
|
Ferreira, Fernando
|
|
2015
|
|
6 |
p. 1303-1311
|
artikel
|
| 107 |
The G4i Analogue of a G3i Sequent Calculus
|
Iemhoff, Rosalie
|
|
|
|
6 |
p. 1493-1506
|
artikel
|
| 108 |
The Hahn Embedding Theorem for a Class of Residuated Semigroups
|
Jenei, Sándor
|
|
|
|
6 |
p. 1161-1206
|
artikel
|
| 109 |
Topological-Frame Products of Modal Logics
|
Kremer, Philip
|
|
2017
|
|
6 |
p. 1097-1122
|
artikel
|
| 110 |
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL
|
Bianchi, Matteo
|
|
2015
|
|
6 |
p. 1163-1181
|
artikel
|
| 111 |
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence
|
Xu, Ming
|
|
|
|
6 |
p. 1177-1200
|
artikel
|
| 112 |
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs
|
Standefer, Shawn
|
|
2018
|
|
6 |
p. 1103-1134
|
artikel
|
| 113 |
Turing–Taylor Expansions for Arithmetic Theories
|
Joosten, Joost J.
|
|
2016
|
|
6 |
p. 1225-1243
|
artikel
|
| 114 |
Understanding Negation Implicationally in the Relevant Logic R
|
Onishi, Takuro
|
|
2016
|
|
6 |
p. 1267-1285
|
artikel
|
| 115 |
Valuations: Bi, Tri, and Tetra
|
French, Rohan
|
|
2018
|
|
6 |
p. 1313-1346
|
artikel
|
| 116 |
Varieties of BL-Algebras III: Splitting Algebras
|
Aglianó, Paolo
|
|
2018
|
|
6 |
p. 1235-1259
|
artikel
|
| 117 |
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
|
Cignoli, Roberto
|
|
2012
|
|
6 |
p. 1107-1136
|
artikel
|
| 118 |
40 years of FDE: An Introductory Overview
|
Omori, Hitoshi
|
|
2017
|
|
6 |
p. 1021-1049
|
artikel
|
Tijdschrift beschrijving