![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Logica Universalis, Volume 8
Volume 8, Number 1, March 2014
- Arnon Avron:
The Classical Constraint on Relevance. 1-15 - Daniele Mundici:
Universal Properties of Łukasiewicz Consequence. 17-24 - Sara Negri:
Proofs and Countermodels in Non-Classical Logics. 25-60 - Ivo Pezlar
:
Towards a More General Concept of Inference. 61-81 - Alexei Y. Muravitsky:
Beyond Rasiowan Systems: Unital Deductive Systems. 83-102 - Eduardo Bonelli, Gabriela Steren:
Hypothetical Logic of Proofs. 103-140
Volume 8, Number 2, June 2014
- Katalin Bimbó, J. Michael Dunn:
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. 141-164 - Thomas Macaulay Ferguson:
On Non-Deterministic Quantification. 165-191 - Karin U. Katz, Mikhail G. Katz, Taras S. Kudryk
:
Toward a Clarity of the Extreme Value Theorem. 193-214 - Nissim Francez:
Harmony in Multiple-Conclusion Natural-Deduction. 215-259 - Olivia Caramello:
Fraïssé's Construction from a Topos-Theoretic Perspective. 261-281
Volume 8, Numbers 3-4, December 2014
- Jean-Yves Béziau:
Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum. 283-284 - Jan Zygmunt, Robert Purdy:
Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References. 285-320 - René Gazzari
:
Direct Proofs of Lindenbaum Conditionals. 321-343 - Nathanael Leedom Ackerman:
On Transferring Model Theoretic Theorems of \({\mathcal{L}_{{\infty}, \omega}}\) in the Category of Sets to a Fixed Grothendieck Topos. 345-391 - Razvan Diaconescu, Till Mossakowski
, Andrzej Tarlecki
:
The Institution-Theoretic Scope of Logic Theorems. 393-406 - Marcelo E. Coniglio
, Newton Marques Peron:
Dugundji's Theorem Revisited. 407-422 - João Rasga
, Cristina Sernadas
, Amílcar Sernadas
:
Craig Interpolation in the Presence of Unreliable Connectives. 423-446 - Roy T. Cook:
There is No Paradox of Logical Validity. 447-467 - Daniel Gâinâ
:
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally. 469-498 - Bernd Buldt:
The Scope of Gödel's First Incompleteness Theorem. 499-552
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.