default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 1
Volume 1, Number 1, June 2014
- Henri Prade, Gilles Richard:
Homogenous and Heterogeneous Logical Proportions. 1-52 - Maxime Amblard, Christian Retoré:
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. 53-94 - Antonis Bikakis, Patrice Caire, Yves Le Traon:
Tools for Conviviality in Multi-Context Systems. 95-114 - Nicolas Clerbout:
Finiteness of Plays. 115-130 - Dov M. Gabbay:
Systems of Interacting Argumentation Networks. 131-176 - John Woods:
How Robust Can Inconsistency Get? 177-216
Volume 1, Number 2, November 2014
- Johan van Benthem, Fenrong Liu:
Deontic Logic and Preference Change. 1-46 - Richmond H. Thomason:
The Formalization of Practical Reasoning: Problems and Prospects. 47-76 - Philippe Besnard:
A Note on Directions for Cumulativity. 77-82 - Michael Gabbay, Murdoch Gabbay:
A simple and complete model theory for intensional and extensional untyped lambda-equality. 83-106 - Simon Kramer:
Computer-Aided Discovery and Categorisation of Personality Axioms. 107-133
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
